I finally
fixed an issue in OCR scanning in the client that I use to post to this weblog that I had been manually working around on my phone by doing all of this annoying tapping and deleting.
Of course, while doing that, I accidentally made the client 200K larger, which I then also
had to fix.