Global problem we're aware of.
Hi,
We currently have an issue on the private GitHub repository for this bug, and it has been fixed there. We are currently waiting for a merge on the pull request and then an update to the site itself. This has not been rushed per se because it is more of a cosmetic issue than a security or functional one.
Thanks for reporting it though!
Tom
- Merged two very similar threads -