All 3 "Is it how to type? Use Google Docs? How to program?". You nailed it. In addition to being comfortable taking state exams on.
I used to do a deep dive on settings and browser extensions until IT locked the devices down further. The kids can't even access settings. But I give them credit for finding work arounds, ways to get past restrictions.
I think the problem here is relying on Google docs.
The absolute best programmers today got started on command line. You can linux command line on a literal potato. There are vape pens that have more computing power than what I grew up learning on in the late 90s.
You're students need less distractions not more. Even the most powerful AI applications like Claude Code run in CLI.
You can absolutely learn how to program on a $17 raspberry pi zero w connected to an old monitor and keyboard nowadays. Its not about the hardware, it's about what you do with it.