Text this: The Lean toolbox