Borra opciones repetidas en config/antonio.el