Use patch files instead of REINPLACE_CMD

REINPLACE_CMD should only be used for variables.

While here:

• Install manpages into the new standard directory.
• Pet portfmt.
• Add a not why LOCAL/0mp cannot be used at the moment.

Reported by: mat