nostr:npub1rnjwv8da8gxyg5xdundvwcg9r489cnuaa842pzes005ezq9q0jvsgrvtmy How good are they as Linux machines? I played with Linux on a chromebook and it was slow, but that was a while ago.