Hey folks There are over 40 issues with the "bug" label in github right now, many of which are not actually bugs, but seem to me like personal preferences or possible improvements. A lot of these issues seem like reasonable or good changes to me, but I think we should reserve the "bug" label for things that are actual bugs. Can we remove the bug label from issues that aren't actually broken?
Mike
