I just found out that François Pinard (author of org grep among other tools and frequent contributor to this list) died recently:
https://plus.google.com/118038589019918324505/posts/DFuvYBrh4th -- Nick
I just found out that François Pinard (author of org grep among other tools and frequent contributor to this list) died recently:
https://plus.google.com/118038589019918324505/posts/DFuvYBrh4th -- Nick