@b3m2a1 @ArnoudBuzing Personally, I think that the state of the
bugs tag is not bad. There are a few false ones, but it's more common that bugs are not tagged as such. The bigger problem is that it's so difficult to get people to use the standard header, or to adhere to the standard when adding a header. Without the header, the issues are not easily searchable.