lean-vega documents