I would prefer to keep an editorial so that it serves as a reference in the future. Otherwise, each time someone  doubts the correctness of the multiply/divide order (and this will happen anytime they look at the names), they will have to recreate the same searches. Would you be happy with a rewording?