Update to bin/make-fancy-manual.sh incorporates Rager's script for generating HTML (for search engines).