It seems they can’t accept a pull request as I have more files in there than in the widgets library.
However, they could and should fix the bugs any which way they can - finding their own fix, or manually apply my updates instead of frustrating everybody.