Issue #10: start todeDebugging.md document and tweak server code a bit ...