Record unused extension-stripping command.

Capture a .html-extension-stripping technique (no longer used).
Support extensionless page files.

Another tweak to our private fork of the Jekyll clean-urls plugin to
support creating extensionless Jekyll page files (talking filenames
here, not URLs). So, "/about" instead of "/about.html".