Pretext html clean#216

oscarlevin merged 8 commits into

mainPreTeXtBook/pretext-tools:mainfrom

pretext-html-cleanPreTeXtBook/pretext-tools:pretext-html-cleanCopy head branch name to clipboard