Update user_manual.adoc

I've found that this does not work on 8080, but does on 8000.