3 ms·I noticed that and assumed that DJB may just not be a 'social coder' with a github account :-)by 23david 12y agoI noticed that and assumed that DJB may just not be a 'social coder' with a github account :-)