Comment Comment by fermigier AIDE has been around for 25 years: https://aide.github.io/IMHO the right thing would be to use another name. parent fermigier 2 years ago
IMHO the right thing would be to use another name.