DOC: slight tune up of THANKS file to list Cyril's role there since now THANKS is pointed to from Wiki