Oh, that’s how you change the font size in Android Messages: you pinch to zoom. For a while I accidentally made the font comically large, and I had no idea how to fix it.