fr: script to reformat the HTML pages (remove indentation, single out paragraphs...