Delete extraneous files

Delete apparently extraneous files.
Comment out missing scripts in index.html, details.html, and
gebelein.html.