Well, this might be a clever solution but our policy currently doesn’t allow using docker, hence this is not an option. But what’s the point of having every port but 1 configurable anyway?
PS: Is there a reason why Github issues seem to be ignored by developers? I see hardly any response from developers on Github.