tools

Note: untested, but it now looks prettier and more correct >:)

Note2: it's not used anywhere in serverdata.

Approved-by: Thorbjørn Lindeijer <bjorn@lindeijer.nl>