terbium EOL, mw maintenance server MOVED, use mwmaint1001 for all
Terbium, our former faithful MediaWiki maintenance server, will be up for
decommissioning on Monday, July 9th. It is no longer used for anything in
production as of a few moments ago. The sole exception to that is cron jobs
that were already running and have not yet completed. Please be sure that
you have no processes left running on terbium by Monday July 9th!
The new server for everything including cron jobs is
Your files from terbium should already be available in a subdirectory
'home-terbium' in you home directory.
Please report any issues; you know where to find us (phab,