Bare metal micro:bit has moved! Please update links and bookmarks.
Cannot view all servers' info unless $wgShowHostnames is true.