`bugs-tab` doesn't take into account bug labels with uppercase letters #4811

Please ensure:

• The bug is caused by Refined GitHub. It doesn't happen if I disable the extension.

Description

The Bugs tab doesn't appear on repositories that have uppercase characters in the bug label, like Type: Bug [1] or Bug [2].

[1] https://github.com/MithrilJS/mithril.js/issues?q=is%3Aissue+is%3Aopen+label%3A%22Type%3A+Bug%22+sort%3Aupdated-desc [2] https://github.com/ohmyzsh/ohmyzsh/labels/Bug

NOTE: on testing this bug with the developer extension, I had to make sure to clear the cache before trying new code.

Screenshot

For URL [1] above:

For URL [2] above:

Console errors

No response

Example URL

https://github.com/MithrilJS/mithril.js/issues?q=is%3Aissue+is%3Aopen+label%3A%22Type%3A+Bug%22+sort%3Aupdated-desc

Browser(s) used

Chrome 94