manpages: update from 3.71 to 3.72