Comment on What is a Lemmy user called? A lemming?