Lots of places where Senior just means 3+ YOE and anything more than that has even fancier titles like "Staff" or "Principal".

I see. Yeah it basically means ~7 YoE at my shop. Was 5, but we started delaying the promotion when we started belt-tightening in 23.

FWIW I'm at a Visual Studio shop and grep competency is pretty rare across the board.