[Dillo-dev]Who posted BUG#544?

Hi, I wonder who posted this report: BUG# 544 Impact: feature fault At : run time Type : other Comments: I love the html bug detector but I can't copy the data from it! This greatly reduces it's strength... my students are using dillo almost everyday now in a web dev class.. HTReproduce: get a buggy html site/ click on ck html / try to copy the errors WorkedBy: nobody Obviously doing Copy&Paste from the error window solves the problem. It's be very interesting for us to know where and how is dillo used in a web dev class. Cheers Jorge.-