UI on Android Chrome: can't "select all"?

Hi all. Really basic question here. I want to revert a file to a previous version. I’m using GitPod on Android. I installed GitLens and I can browse back to the revision I want.
However ctrl-A doesn’t seem to work to select all.

I can revert the file in the terminal, just wondering if anyone knows how to “select all” on Android. I’ve been trying Hackers Keyboard and Unexpected Keyboard.

Could you file an issue please?