"Some controls, such as local brush adjustments and spot clone/heal, do not -- at least, not yet."
that makes sense for this issue.
I wish Lightroom could be smart enough to know itself. So if I have the option selected in preferences as a basic starting point then select a tool which has yet to be optimized (brush) Lightroom would switch that off temporarily as I work.
Or maybe the preference section could be in the Develop module panel itself.
It would seem from your post that this isn't going to be a quick progression say, for 6.2, 6.3 etc.
Thanks for the reply.
Could you put some tags on that post in the forums. I may have found it there instead of coming here.