Registrar update/DNS changes

I’ve finally finished consolidating all of my domains at gandi.net; bigdinosaur.org was the final one, and it got done this morning. This should be a seamless switch, but if you notice any DNS oddness or if you have difficulties getting to the forum for a bit, that’s probably why.