Add and document the ability to specify a file path to the save command.

Also add the savepretty setting to determine whether saved documents are
run through the prettifier before being saved to a file.
Document the downloads and savepretty settings.