A simple question on deps change

[hammerfunctor]

Hi everyone. In a recent routine update I noticed that Metatheory dependence is removed. I searched over this repo and Symbolics.jl but found few explanations. Can anyone give some clues on this choice of route? Thanks!

[MilesCranmer]

I don’t know the details but it’s discussed a bit here: https://github.com/JuliaFolds/MicroCollections.jl/pull/18#issuecomment-1382195538