ge</a>
            for details.
          </li>
          <li>
            There's no need to save your changes; just use <code>Escape</code> to blur the inputs above.
            Option values are synchronised between Chrome instances.
          </li>

          <li>
            Set <code>Port</code> to the port number used by the server.  The default is <code>9293</code>.
          </li>

          <li>
            Set <code>Secret</code> to a secret value which you provide to the server (optional, but
  