Of course this is not a solution, only a very unsatisfactory workaround ...
which leads to the question:
As long as this bug is considered "low priority",
where can either the xinput command, or an .fdi file that fixes the problem, be put so that the mouse buttons are swapped at login, and the swap is not sabotaged by a dysfunctional gnome-control-center?