The 4.0.1 release
Publish man pages