Change server port number in extension

Hello,

in the Firefox extension, how can I change the port number from the default 8081 to something else? This port is already taken on my system.

The advanced settings don’t seem to have an option for that.

Just use “Other server” and enter e.g. http://localhost.org:8082/v2.

Thanks! I didn’t try very hard, but the localhost thing confused me a bit.