A bunch of typographic fixes. Rev: server/base_server/roxen.pike:1.822 Rev: server/base_server/roxenloader.pike:1.333 Rev: server/start:1.199