2021-10-26 - tools
18:00 <majavah> deleting legacy ingresses for tools.wmflabs.org urls [tools]