# - and who has been set up with Domtool admin privileges by:
# - running 'domtool-adduser $USER' while holding AFS admin tokens as
# someone who is already a Domtool admin
# - and who has been set up with Domtool admin privileges by:
# - running 'domtool-adduser $USER' while holding AFS admin tokens as
# someone who is already a Domtool admin