Nicolas VIGNERON, 14/01/2016 12:22:
Am I missing something? http://tools.wmflabs.org/bub/ (listed on http://tools.wmflabs.org/ ) is still down, is it normal?
It's not "still" down but newly down. :) I saw a maintainer took it down yesterday for some reason, probably will be restarted today.
Nemo