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.
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.