Adding the port number does the trick!
However, I do have another question: with ArcMap, when an end user is not in the opt-file he receives a clear error message when trying to open ArcMap: user /host not on INCLUDE list for feature
With ArcGIS Pro on the other hand, Pro does not open but no specific error message when the end user is not in the opt-file. Only for Pro extensions we see a warning 'Unable to check out the requested extension'. But not for the core product.
Any idea whether this is by design?