fix some nits with pdnssec.8.md