Inconsistent deprecations in Mathlib.Order.Defs.Unbundled?

Stream: mathlib4

[Kevin Cheung]

Does anyone know the reasons for deprecating Irreflexive and AntiSymmetric but not Reflexive and Symmetric in https://leanprover-community.github.io/mathlib4_docs/Mathlib/Order/Defs/Unbundled.html#Reflexive?

[Ruben Van de Velde]

They're being deprecated one by one, time permitting

[Kevin Cheung]

Thanks.

[Yaël Dillies]

See. #mathlib4 > Relation properties duplication