[PATCH] hooks/pre-push: Use mandoc(1) to get HTML anchors to command-line options