Manually configuring (changing) the ssh ports in sshd_config

Apparently this is a known unresolved issue since 2019. Very dissapointed.
https://discuss.freedombox.org/t/cockpit-server-administration/204/51