I had no idea, but there are people who devote their lives to hand-tuning the .nav files for CS:S. There are entire communities out there just for this purpose, similar to TWHL and the SnarkPit for mapping.
I never thought there are hobbists who have such a specialized interest. In fact, some of them volunteer to tune my .nav file for my custom map.
The internet is amazing.