@downey one of the problems with specifying it as "ActivityPub" is that AFAIK ActivityPub does not specify the @[email protected] notation. It relies on actor URLs internally. The @[email protected] format IIRC uses WebFinger protocol, which is used on top of ActivityPub by a large part of fediverse software for convenience.
@downey It's kind of like you were saying "the IP is mumble.example.com". It's obviously a domain name, and while you can obtain the IP address using it, and putting it in the "Address" field in a mumble client will likely work equally well as putting an IP adress would, it's technically wrong.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!