This extension contributes the following settings: shiny.python.port: The port number to listen on when running a Shiny app.(By default, 0, which will choose a random port for each workspace.) ...