Make where to report bugs more clear

If one is looking for where to report bugs, it is easy to dismiss a section with a heading "mailing list".