In message: <LNBBLJKPBEHFEDALKOLCAECICAAB.tim.one@comcast.net> Tim Peters <tim.one@comcast.net> writes: >Proposing to drop the option > > ignore_redundant_html Sounds good. - Alex