Minor alterations to admin and user manuals. Add revision numbers
[spider.git] / cmd / delete / user.pl