It's open source, you guys could always create a PR to fix it. That's the power of open source!

there's no guarantee it will get merged though, even if a PR is created.

Forking has down sides that can't be hand waved away too, especially for a service like this.