Prelude: remove deprecated print_error() documentation
Prelude: doc for smart_execute_command()