ModellingToolkit/ optimal control training

A colleague of me is going to attend a three-day CASADI training. I told him:

Only advantage of CASADI over ModingToolkit is: “CASADI supports special functionality for quadratic programming problems”, in all other aspects ModelingToolkit is superior.

His reply:

Might be, but they did not offer such a nice course on optimal and model predictive control, at least that I know of.

Is there anything we can do about this issue?

Casadi is an AD and optimization tool and is more similar to JuMP than to MTK. They also offer C code generation

Perhaps this section should be improved then?