lintian: man: hyphen-used-as-minus-sign