Mathieu Liénard--Mayor wrote:
I'm not so sure i understand. Do you mean rmHints should deactivate addHints
aswell, or do you mean that since we're introducing rmHints it would be
natural to introduce addHints ?
More the latter, but I'm tilting towards addRmHints (or something)
which affects both add and rm hints.
Sorry about that, we'll work on it.
Nothing to be sorry about. You're doing good work, and we're helping
you make it even better :)