html.parser.printer: explaining comment