Thanks! That’s very helpful. For reference, my day is spent: • editing code, markdown, and asciidoc for classes; • managing pupil work in repl.it, GitHub, a

Thanks! That’s very helpful. For reference, my day is spent: • editing code, markdown, and asciidoc for classes; • managing pupil work in repl.it, GitHub, and Google Classroom; • managing pupil reports and records of work in custom school IT web applications; and • emailing with colleagues and pupils with outlook’s webmail. If I can get a snappy and correctly scaled terminal and browser — which I think you’ve managed after some effort — I hope it will work out well. I have a 4k LG display at home which might be the biggest pain point. Rest assured though it’s good ole 1080p all the way, at school: HDMI1 for my private desktop and HDMI2 for the 80” class display. I am optimistic this is a workload that an ARM desktop can handle.