[openFATE 306512] Web Services for Management (WS-Man) has official port numbers now