Thanks @Thulinma. Great to hear! Thank you! Also, GitHub issues are now working. I didn't know how it worked, but I always assumed it was when devs didn't want to be bothered! :D
Yes, I see similar behaviour to @emacsomancer. I had been trying to find a way to trigger the problem all the time, but I can't even get it to work now. I'll keep at it and see if I can isolate a 100% reproducible situation.
Pinned Comments