Renaming all .html to .src in Docs files