I am not satisfied with the answer to this question:
$> sudo semanage port -d -p tcp -t foo... ValueError: Port foo is defined in policy, cannot be deleted
The accepted answer is
The SELinux policy includes definitions for ports ... There is no need to remove them.
No need to remove them. Okay, but I want to remove them anyway -- I want the SELinux availability of the port to match the actual availability of the port, just for consistency's sake.
How to I
semanage port -d for ports defined in the policy? (In my case, ssh.)