Is there a Symbolics.jl interface to Ipopt (or similar)?

@Vaibhavdixit02 is going to write a tutorial on this. That’s probably the most productive way to share this information given that indeed the documentation on this is currently too sparse.