Change a file then run scripts/mapstuff.pl to update the html version

If the file is not already under RCS, add it to RCS