Should be fixed in v1.7.3.
The TODO was wrong. HTML file names should be ASCII, but not the DOC filename.