Efforts to "normalise" Toolserver relations stepped up: Our tool- and bot-hosting servers are currently operated by Wikimedia Germany, with assistance from the Foundation and volunteers — but they've failed to see eye-to-eye on the trajectory for the Toolserver, scheduled to be replaced by Wikimedia Labs in late 2013.
