[O] François Pinard RIP

[Nick Dokos]

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