PR #50958 introduces the @with macro along with dynamic scoping generally.

DataFramesMeta.jl, the data analysis package I maintain, currently exports our own @with and will have to re-name the macro before the Julia's v1.11 release.

@with is a very valuable name. It's short and clear. Considering this, having it's use-case for ScopedValues only seems unnecessarily niche to me.

Would it be possible to re-name the with and @with to something that doesn't use such a short name?

I'm not opposed to Julia Base taking over with and @with in the abstract. But this seems like such a unique use-case that the costs don't outweigh the benefits.