FYI, there's now an autogenerated list of all HTML/PDF files in any of the texmf*/doc trees. Master/doc.html, linked from readme.html. The script (Master/Tools/mkdocindex) runs nightly to see if there's anything new. Hope it suffices. k