@zwarich@hachyderm.io Yeah, absolutely. Well, to be honest, I think Lean might be the right ML in which to build the next LCF.