Scheduled downtime for migration

  Hey all,
 
  On Saturday 19'th of October (yes, tomorrow) at 16:00 CET / 10:00 am US EDT 
  (Marble time) we are likely to experience downtime for a couple of hours. 
 
  Thor will be migrating the mud to the cloud so our IP is also going to 
  change. However, using the normal marble.3k.org port 3200 will still work 
  once the mud is up again.