no more silly .html file extensions at the end of links!