New review comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/36411#discussion_r850787479 Comment: I am not sure I like labeling an issue as a bug when a bug report is filed. Now the "bug" label is assigned manually by a maintainer and I assign them only when I know the issue isn't a user error and someone was able to reproduce it. That said, I can see the other point of view - all bug reports should be labeled as such.