let
help =
"Keep labels in proof obligations (default: no)."