Text this: Lean Python