GitHub #118: Reduce logging to console on --help-builtins