Started migrating the hrm documentation from huygens-rm.org.