Update rabin2 manpage