I'd like to complete the migration after Beta is out the door and we
are out of freeze. Either May 11th or May 13th would be fine with me.
We would migrate the last lists, then we need to change things to
proxy everything to mailman01 and take collab03 out of the mix
entirely. If all looks well after a week or so, we can retire collab03.