[16:39:37] <RhinosF1>	 Hi, did anyone manage to look at whether the old bots.wmflabs.org links are fixable or whether to change them all to wmbot’s proper logs links?