Bump man pages to 4.7.80