I noticed that and assumed that DJB may just not be a 'social coder' with a github account :-)