Improved naming of generated HTML files by using nice IDs