Convert rtf files into html

Dear HTML Overlord,

here is a Pull Request to rename the RTF files into HTML files.

Best,

~Satan