One more message for browser GUI on dbg command.
Cosmetic changes (comments and indent)
Cosmetic - comments
GC count updated by 1
New help page - also used as index for starting a new game from browser
Added a bunch of (supposedly useful) details...
Shows the help-index page when a game finished.
Does not stop the server anymore on invalid request from browser (when
game did not start yet).
Nicer style for html page.
index page is accepted by server before a game starts.
some minor refactorisation