> To my utter disgust, GitHub seems unwilling to let me open a PR against your fork

Mhh, I see the issue. Our branches our not comparable for whatever reason... I send an issue report to GitHub.