Don't document categories any more, use tags

Builders switched for some time already, and the IRC status also accepts tags (isn't wired yet though).