Fix accidentally hidden placeholder.

The "server-ip" part of "http://&lt;server-ip&gt;:9000/" was accidentally hidden due to angle brackets being interpreted as HTML. This puts the address in backticks to avoid that, and also changes "serverip" to "server-ip" at the bottom page, for consistency.