I hadn't, thanks for the link! It's an interesting possibility for a terminal device, though I'd prefer something open ISA -- if that was either POWER or RISC-V vs. ARM, I'd probably pick one up...