Thanks for offering help. I don’t see the PM function (maybe my account is too new?).
And unfortunately the issue is not reproducible at the moment - some of the tweaking on my Linux in the meantime may have worked around it (temporarily), which is a very Linux-y thing..