Damien's MAXIMA editor