[jefftk]

Another data point: icdiff is 13y old with 4k stars and 200 unique clones in the past month.

(This is a tool that most people install and run without any interaction with GitHub, since it is in package managers)