amend index.html for the correct manual names
[spider.git] / html / user_en.html
1999-11-18 djkadded auto ping and obs count to dxchan