See also: What is Lemmy? What is Lemmygrad? What’s the difference?

That’s a very well-written summary. Thanks!