No manual page yet: so don't try to install one