I wrote this as a comment last week then copied it into my notebook but then on top of everything else, I couldn’t get the page scanned! I escaped, eventually.