Rename hmc.txt to hmc.rst