Last modified: 2013-07-19 05:35:00 UTC
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?
Please make the request at [[m:Talk:Interwiki map]]. I think you only need to file a bug if you want something more interesting done: just adding an interwiki for WMF wikis is not interesting.