It will be great to have this method for solving saddle-point and SQD systems.
It will also complete the family of "LQR" methods with BiLQR and TriLQR.
A basic functional version would be perfect.