is anybody else experiencing problems with the public Main Galaxy server at http://main.g2.bx.psu.edu? It just does not work anymore.