My feelings about it aside, are there any technical benefits to ATproto over ActivityPub?