Update manpage.

This includes updates for the AVL -> AVL_ commit, but also for various
other past commits which neglected the manpage.