Yeah I saw it, and then the Plots.jl issue with 20 people saying “same” within the last hour, so I merged the yank.
Usually one doesn’t merge a yank until the maintainer agrees, but this seems like a special scenario that was going to effect half of Julia users, so might as well do it before the well-adjusted humans of the US east coast wake up. @tim.holy let me know if you want it back, but I assume you’re okay with a quick action here.