Hi,<div><br></div><div>   I don&#39;t have a bug to report, but I was wondering where bugs should be reported. Here in the mailing list we&#39;re usually pointed to GitHub, but the web site suggests RT.</div><div><br></div>

<div>Cheers,</div><div><br></div><div>   Flavio.</div>