Fixing mentions of mps_size_t to just size_t in the manual.  The former doesn't exist.