[Toolserver-announce] General maintenance notice: December 6th