That one was Jonathan’s I think! He was also responsible for “octopus” instead of “octuplet” in the list of keyboard shortcuts.
That one was Jonathan’s I think! He was also responsible for “octopus” instead of “octuplet” in the list of keyboard shortcuts.