Last modified: 2013-12-04 22:44:27 UTC
https://tools.wmflabs.org is fine http://tools.wmflabs.org is very slow (~45 seconds to load the page)
See http://lists.wikimedia.org/pipermail/labs-l/2013-December/001907.html
The issue has now been solved.