[man] Cleanup mentions of monocov in mono.1 (#5446)