I think you're vastly over indexing in how many people in our circles know about him.

I'd bet less than 10% of professional developers could say who he is, and that a tiny portion of the population has any clue.

There are probably thousands of similarly important/influential people in various subfields that we have never heard of, because they're not our Subfield, and I highly doubt any of those would get a biopic.