Piefedi, lemmy, fediverse? I want to share them as reddit alternatives but their naming is super cringe. Did people find Reddit’s naming choice poor in the beginning?