This is a notice to let users of the server "web1" know that they are being moved to the brand new server "batman" right now.   We expect that the downtime will be very small, or not at all. We are migrating the IPs and everything so it should be a seamless migration.