Thanks for sharing those details!
There is a forum dedicated for help when working at that specific server. Please see Galaxy - IFB Community Support
That reaches the administrators too, who can let you know if something is going on server-side plus they know how to use their custom tools best 
The situation is a bit new so we haven’t worked out how to route people there perfectly yet, so I’m glad you asked! Please try asking your question there instead.
XRef: