Is there a way to disable spell check for numbers? Not only does it seem completely pointless, but it is a real annoyance, too. I use a text editor app to make notes including work times, and the hours and minutes (hh:mm) are being marked as incorrect very often, which makes the suggestions list pop up each time I move the cursor back to change a number. It doesn’t happen will all numbers, though. Weird.
It happens with Signal, too, and with GrapheneOS’s default keyboard app as well as with OpenBoard, which makes it look like an Android problem to me.