Saying fedi normally includes things like mastodon, peertube, Pixelfed, etc. It doesn’t really convey that someone is specifically talking about the federated Reddit alternatives.