River Tarnell writes:
hello,
we have bought the domain toolserver.org with a view to using it for the toolserver, e.g. http://toolserver.org/~username/. if anyone has any comments (for/against), please say now.
- river.
What about adding <usrename>.users.toolserver.org alias for tools.wikimedia.de/~<username>? --VasilievVV