I don't have a toolserver account (yet?), but was purusing /~voj.
Useful stuff there.
Unfortunately, I don't know what other username paths are valid. The
front page says it'll eventually list projects; I want something more
expedient.
Can someone with toolserver access just place a list of valid user
names on the front page so that I can at least hack URLs to find
toolmaker gold?