I mean, I prefer faster symbol, type, etc. based navigation too, but it doesn't ...

		packetlost on Sept 3, 2024 \| parent \| context \| favorite \| on: Greppability is an underrated code metric I mean, I prefer faster symbol, type, etc. based navigation too, but it doesn't work in all scenarios so grep is an extremely handy fallback.