That's what he wrote, the | meaning "given that". P[enjoys game | is a programmer] filters gamers from a population of programmers.
Now, there's also the self selection bias. So it's more like P[Programmer | Gamer & Has Read Hell of a Job & Followed Through]…