ATProto explained for a slightly "technical" audience