@Dennis TIO’s copy buttons don’t work on iOS. Tested in Safari on iOS 12, but I’m pretty sure it happened in previous versions. Not very important, as you can select and copy manually
It works now. I tested it yesterday on iOS 15.6. I don't know how long it's been working; it's been a while since I last answered from the phone