-
Sébastien Villemot authored
This is a revert 683011b4. Actually, the official name is “GNU Octave”, and it is easier to find it under that name in search engines. So use the full name at a few prominent places, and use the shorter “Octave” everywhere else.