Autogenerated man pages for 0.25