GitHib PRs are for technical discussions, not political or strategic or anything else that is not actually part of solvong the issue at hand. It just gets too complicated to mix those discussions in a...
that's fine if we want to keep github strictly technical, but then what is the forum to have the larger discussion that includes other aspects? is there one already?