Now checkpointLoop does not report an error when the thread is killed.
Now the extra manual entries are exported as mainMan.

This way people constructing their own term info (such as
when using execChoice) can make sure that this information
is included in their man page.