@a3eb29554bd27fca7f53f66272e4bb59d066f2f31708cf341540cb4729fbd841 @rms @3bf0c63fcb93463407af97a5e5ee64fa883d107ef9e558472c4eb9aaaefa459d @de7ecd1e2976a6adb2ffa5f4db81a7d812c8bb6698aa00dcf1e76adb55efd645 Oh wow, it's verified. I guess they finally convinced him. But he definitely doesn't use it directly. I'm not sure his laptop is even capable of having a GUI. Last I saw he was checking his emails through a terminal. And he has no tolerance for learning new things.