You start your comment with an @ to their username, and your domain name ends on “-stodon”…
Are you posting to Lemmy from Mastodon? Is that possible?
EDIT Also, OP, check out Archwiki, that’s a great source! (in this case you can just view this person’s link, but you can treat AW as a public Linux library in the future)