use tidydocs script to clean up User Manual HTML