According to
https://en.wikipedia.org/wiki/Special:Interwiki
there are a few interwiki codes pointing to toolserver.org. On the other hand, a few tools have been migrated to tools.wmflabs.org, but there is no code for this yet. I think it makes sense to have a code analogous to the existing [[tools:]], which would point to the new site. Maybe [[toollabs:]] would be a good choice?
Version: wmf-deployment
Severity: normal