My example was getting too wordy, and I tried to delete it. The mobile editor assured me that it had been done, but it had not. I’ve separately submitted a fixed version of this comment.
My example was getting too wordy, and I tried to delete it. The mobile editor assured me that it had been done, but it had not. I’ve separately submitted a fixed version of this comment.