<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">SomeoneElse wrote:<br>
    </div>
    <blockquote cite="mid:515EDD62.7020307@mail.atownsend.org.uk"
      type="cite">
      <meta content="text/html; charset=ISO-8859-1"
        http-equiv="Content-Type">
      <br>
        ... install the remote control plugin ...<br>
    </blockquote>
    <br>
    EdLoach on IRC has just informed me that it's not a plugin any more
    (shows how long ago I last turned it on!).<br>
    <br>
    It's part of the core functionality:  preferences / thing that looks
    like a TV remote at the left / enable the settings you want.<br>
    <br>
    Cheers,<br>
    Andy<br>
    <br>
  </body>
</html>