Rename tstf3.md to tstf3.html