ParentFull threadSyzygies·Thanks! Great idea, I'm not sure why it doesn't actually work better for Lean.View on HN