Apologies for the incorrect way of reporting this bug, the GitHub page said it’s not really monitored, I got frustrated with the bugzilla portal, didn’t want to misfile it and it’s really minor.

-hary