@dansup maybe. Yet I use it. Not to indicate the online space that fedizens span up, but the suite of protocols that allow that. I recently started to make distinction between fedi and Fediverse as well, btw.

PS. Just tooted to Evan about this: social.coop/@smallcircles/1124