Removed a bunch of no longer needed and possibly outdated HTML files.
buffer-en.html
deleted
100644 → 0
buffer.html
deleted
100644 → 0
climacs-en.html
deleted
100644 → 0
climacs.html
deleted
100644 → 0
index.html
deleted
100755 → 0
pdp.html
deleted
100644 → 0
redisplay-en.html
deleted
100644 → 0
redisplay.html
deleted
100644 → 0
skeleton-en.html
deleted
100644 → 0
skeleton.html
deleted
100644 → 0