Hi! I have been away for a couple of months and I will still be for some time.
I had many notifications and messages, to which I will reply when I come back in about a month.
In the meantime, the "auto remove redundants" mode (you will find it next to the solver messages, a checkbox) have been merged.
It was quite a request to do something so that redundant creation did not get in the way while using the sketcher (specially when using the polyline creation tool). This was more painful after the sketcher solver improvements, as the sketcher was way much more picky than before. This new mode accommodates this request.
When an UI command (geometry creation, constraints, tools...) ends up in a situation detected by the solver as redundant, it automatically deletes the redundant constraints.
The checkbox is there so that you can disable it for cases when automatic removal is not desired.
Just give it a try and leave some feedback for when I come back to coding