Wow, I feel quite dumb. I didn’t realize this until just a few hours go: "Rumors" of Lulzbot Closing by End of October 2019