[galaxy-dev] lists.bx.psu.edu is down

Dear all, Something seems to have happened to the lists.bx.psu.edu server recently - which is unfortunate as I've made a habit of using this for linking to past email threads via the nice mailman archive listing which was here: http://lists.bx.psu.edu/pipermail/galaxy-dev/ Was this deliberate or does someone need to kick a server? ;) Thanks, Peter