Add (hackily) a custom port setting to the Chrome plugin