On Sun, 1 Sep 2013 23:28:50 +1000
Manu <turkeyman@gmail.com> wrote:

> On 1 September 2013 18:05, Daniel Cousens <daniel210x@gmail.com>
> wrote:
> >
> > That and its interface is so tedious, I have no idea how to check
> > if it has already been reported...
> >
>
> No, me either. Absolutely no idea.

TBH, I don't understand the above. There's an obvious search box right
at the top of every page, right next to a link to advanced search. What
else besides search *could* be used to check if an issue's already
reported?