Update documentation
commit a mano, da error el merge desde el shell de emacs