First of RPi.GPIO is EOL and does not support RPi5 and has problems with recent kernels.
Yes, I am aware of the EOL situation. But I (and surely many other users) don't have an RPi5 and for the RPi4 the RPi.GPIO library works FOR NOW...
I just wanted to use the Raspberry Pi Legacy Tools to help myself (and perhaps other similarly affected users) give some time to the final solution.
But okay, there's another option. It is also a workaround, but probably with a much longer perspective than the previous solution.
The other option is rpi-lgpio.
I tried to integrate it into Raspberry Pi Tools and it works!
I am attaching both the finished add-on and the modified sources.