update description of Alt-Ergo
update install script of Alt-Ergo
update (un)install info of Alt-Ergo