Remove special-casing of 'max_char' as it is not available anymore
Add all default options to HTMLPrettify.py