I wrote: > > reopen 643286 Oh, oops. It's not just the .htx which is going but the whole ms-dos compatible html+index files doc format is it? Might forget about improving coverage until after that then ...