fix typos, add document in mhtl form

Eventually, I'll upload the html to GitHub