Thanks to
 - Didier Le Botlan for the name of the tool: spatch.
 - A guy from Cornell for suggesting the term "semantic patch".

Thanks to 
 - Francois Pottier and Yann Regis-Gianas for menhir
 - arty@users.sourceforge.net for pycaml
 - Richard Jones for his dumper module, 

Thanks of course also to Stallman, Linus, Leroy, Knuth and their
acolytes for respectively Emacs, Linux, OCaml, and (La)TeX.