  HTMLScan
  ~~~~~~~~
  Purpose: To add height= and width= tags to HTML files.
  The information is read from the headers of the relevant JPEGs and GIFs.
  Various syntactical checks are also performed (see !ReadMe file).

  Setup:
     Icon                     Action/Meaning                       Default
     ----                     --------------                       -------
     File                     Name of file to be scanned             nil
     Quiet                    Produce report of activities           off
     Overwrite                Change existing width= and height=     off
     Crunch SP                Delete strings of spaces               off
     Crunch CR                Delete strings of carriage returns     off
     Don't beep               Do not beep when errors occur          off
     Don't change             Do not add information to file         off
     Don't be strict          Do not check <B>, <I>, <TT> and "alt=" off
     Don't follow HREFs       Do not check local "href=" parameters  off
     Don't report HREFs       Do not report non-local "href="s       off
     Don't report SRCs        Do not report non-local "src="s        off
     Don't check legality     Do not check character legality        off
     Don't check entities     Do not check list of known entities    off
     Supress throwback        Do not use throwback                   off
