Apologies, but I accidentally opened an issue and a pull request on GitHub.com because I'm so used to just clicking on a GitHub link on sites to contribute. I will port all that over here, but just wanted to let you know. I wasn't sure if this was just to mirror for people that might not be on the Atmosphere or what.
Or should I just leave the stuff there and, if you're interested in merging it, let you do so?
I see the commits are the same, so at least it shouldn't be too hard. Again, though, happy to migrate it over here if you prefer and interested in merging it (without or without subsequent changes).