We should add a settings page where we can put this, along with anything else we might need (like https://github.com/coder/jetbrains-backend-coder/issues/38).