Issue #23254: Document how to close the TCPServer listening socket.

Patch from Martin Panter.