Am I missing something? http://tools.wmflabs.org/bub/ (listed on http://tools.wmflabs.org/ ) is still down, is it normal?