final bits of colouration and improvements to text
[spider.git] / cmd / delete / user.pl