I am not. In the developed world there's comparatively little chance that a school district or national education system could afford about $100 per head for a rollout of RPi 400s but not the say $240 or so per head (being pretty conservative) for a rollout of clamshell devices instead. Especially since you'll make some of that $140 back just by avoiding the technical support costs of helping families get the computers working with a zoo of BYOD HDMI TVs. Meanwhile in the developing world the assumption that everyone has at least one HDMI HDTV at home goes out the window. The original comment mentioned a supply issue with Chromebooks, but it seems unlikely that something like the RPi 400 is going to be much more secure against supply disruptions than a clamshell laptop.