We can draw diagrams using the AMScd package, and works quite nicely (see Math.SE for a working proof).
However, on MathOverflow the package seems to be disabled by default, so if a user wants to use it they have to load it explicitly using \require{AMScd}
.
I see little point in not having this loaded automatically, and I think that this should be corrected.