User blog comment:BigNumbersFan/is there a discord server for Numberlemon?/@comment-43314911-20200506111432

I mean, there used to be one...