Revert "prova emacs"

This reverts commit c3ee4f8e254c82cc2b252f22df5943d1499ce9b0.
Revert "Revert "prova emacs""

This reverts commit 490455baf334ea6e59191a60d4e7c4860d461191.
Revert b632096..3957bfe

This rolls back to commit b6320969b1cd4c3d1c94f8bc5934f2325f2ccd0e.