Why not deprecated in `base/deprecated.jl`?