This is Despot, mozilla.org's system of managing users. Maybe you'll
find it useful, but for now, we're just concentrating on developing it
for our own needs. So don't expect a lot of help from us in understanding
this code...