changed filenames to be source.rs.html, easier to open from text editor..