This is a dummy home page. The things currently here are:
/users/USERNAME
(note that the
/users/
directory listing will be suppressed eventually)
/observatory/
(but requires some puzzling about what's where)
/seminars/
(some fixing required)