This is just great- a perfect example of how even a vastly experienced user can be confused by repeated usage of name Tools in Options
I was talking about the first Tools, and not the second. So your answer here is exactly the kind of situation that can be avoided when that other proposition of mine gets through