How about: [docs] improve the docstring for DUAL_INFEASIBLE by odow · Pull Request #2701 · jump-dev/MathOptInterface.jl · GitHub?
(Let’s keep future comments to the GitHub PR.)