Self-plug: I built a 5 minute word game for this very reason (diffuse mind time) that fits right in with your list of options.
www.esoterica.io
www.esoterica.io
Reminds me of a game by Microsoft. I really like Wordament. What I like about it, is that if you select the same language, you get the same puzzle. So you can play against a friend who's sitting in the same room! Who'd have thought I'd love a game by Microsoft (for Android!). Only annoying this is the ads; I wish I could buy a premium version.
Is there a chance to get longer words in the mix? I could be blind, but the longest word I was able to spot was 5 letters long, I think.