Add a port for POSIX manual pages. To be discussed more with Ingo.