A number of pages still use bots.wmflabs.org links for their wm-bot channel logs. These no longer work.

To avoid creating dead links, we should consider setting up a redirect to the new interface.

Either in addition or if that is not possible, we should try and track down the old links and replace them with working ones.