Yes sure, you're right. Mastodon ultimately is just an activity pub client / server; but that's exactly it. It's a brand by now. Nobody (99%) cares about the activity pub part, and most users relying on activity pub, are using Mastodon presumably (though that's really just a guess).