rollup merge of #20268: mdinger/pretty

For consistency with the documentation, *options* should be before *filenames*.

diff --cc src/doc/guide.md
Simple merge