Yeah but I just wanted to highlight that a better world exists! People should know that GitHub's toy model isn't the only one available.

Still, you're right that it makes sense to build tools to work around GitHub since there's always gonna be cases where you can't avoid using it.