Update manpages
Releasing 4.0.12-1