The top documents of lean-vega