Oh, great relief: the healing tool, which had been painfully slow after 1.2/1.2 has been fixed.
There is no longer, as far as I can see, that extreme slowdown after a few adjustments.
The actual healing got faster (no beachball of death), and, even more so, the correction of already applied healing retouches - which had taken six seconds before - goes smooth now.
Trumpets, please!