API: also write a nice human-readable HTML file