change file name extension for publish as GitHub Pages