It’s harmless, but someone could file a new issue on Github[1] to hide it. Since it doesn’t really impact anything and is cosmetic, I don’t anticipate getting to it anytime soon unless someone takes an interest.
3 Likes
Thanks for confirming it is harmless and only cosmetic…
I did open a github issue but on the wrong repo, i will correct that
EDIT:
opened a new issue on the right repo Link to issue
Maybe, but if on this table we are supposed to see only extensions, then it’s not correct.
This topic was automatically closed 7 days after the last reply. New replies are no longer allowed.