This is a partial revert of 8fa4c483.
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.
Attach a file by drag & drop or click to upload