pub fn print_help()Expand description
Print usage for lean-ctx uninstall.
This MUST stay side-effect free: lean-ctx uninstall --help previously fell
through to run and removed everything, so help is now short-circuited in
the CLI dispatch before any removal happens.