Fix problems in the script that makes HTML documents: (1) The new "Use"