This is a very fine grained classification of users. See [EndUsers] for a more general view, that is easier to refer to.

--[[Christoph Sauer]], 2007-03-27