The (undocumented) HTTP-server port is mandatory.

  This simplifies the coding, although the implementation is
 still a horrific hack.  Let us hope nobody ever reads my
 commit notes ;)