../external-themes/lean/prompt_lean_setup