You beat me to it.
I had found it in the "model" code, and was looking for it in the regular code.
I'll bet virtually no CO drivers are aware they can pass bicycles in a no-passing zone.
In fact, I wonder how many cops even know that.