Comment by Bluestein

(The funny thing is that the comment itself was highly resonating, until the PR - or Claude! - came in, after a lag).-