Information about holideck.config default port numbers