rename prog.html -> prog.md