Some comment changes to HTMLPrinter.java -- still needs an entire overhaul on the next pass