Option --post-doc: suppress all details on error messages, because the PostDoc will pass it along to his grad students anyway.