Claim that Android devices do not have a keyboard

For now, we can probably live better with the assumption that
Android devices do not have keyboards. That should be replaced
by an actual check, though.

Fixes #608