Very unexpectedly, someone made a PR into a repository I created a few days ago. It didn’t exactly solve my problem, but normally my code goes unnoticed on github. Just truly bizarre that they found it.

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.