Bug migration?

Hi,

I think it’d be great if the bugs reported in the old / current “Report a bug” option (in this very page, above right), were migrated to github.

Apart from one being able to track the bugs, it would help in contributing.

Thanks,

jaime