IP address changes

All my IP addresses have rather hurriedly changed. If you’re using the names below, you’ll be fine and when the DNS changes propagate (~3h) everything will work again.

If you’re not, you’ll need to update things. Ideally to using the names :) fairygodmother.avi.co is now the same IP address as bigbadwolf.avi.co, not just the same host.

Old New Name swamp.avi.co bigbadwolf.avi.co  donkey.avi.co merlin.avi.co fairygodmother.avi.co