output-format is XHTML1.0 strict credit goes to NAKAMURA Hiroshi, which made the original coverage in 47 lines of code! Mauricio Julio Fernández Pradier, lots of improvements. Robert Feldt, for suggestions. Alex Pooley, for eliminating warnings.