Just on your first bit. Lemmy initially came from good ole lemmings, so I’ve always just assumed the name for users here was lemmings…