;doc:run, repl: more edits

hledger/Hledger/Cli/Commands/Repl.md

@@ -30,22 +30,18 @@ While it is running, the REPL remembers your command history, and you can naviga
 - Keypad or Emacs navigation keys to edit the current command line
 - UP/DOWN or control-P/control-N to step back/forward through history
 - control-R to search for a past command
-- TAB completes file paths.
+- TAB to complete file paths.
 
-The `commands` and `help` commands, and the command help flags (`CMD --tldr`, `CMD -h/--help`, `CMD --info`, `CMD --man`),
+Generally `repl` command lines should feel much like the normal hledger CLI, but you may find differences.
-work in the usual way, and can be useful.
+`repl` is a little stricter;
+eg it requires full command names or official abbreviations (as seen in the commands list).
+
+The `commands` and `help` commands, and the command help flags
+(`CMD --tldr`, `CMD -h/--help`, `CMD --info`, `CMD --man`), can be useful.
 
 You can type control-C to cancel a long-running command (but only once; typing it a second time will exit the REPL).
 
-And in most shells you can type control-Z to temporarily exit to the shell (and `fg` to bring it back to foreground and return to the REPL).
+And in most shells you can type control-Z to temporarily exit to the shell (and then `fg` to return to the REPL).
-
-You may find some differences in behaviour between `repl` command lines and normal hledger command lines.
-For example, in the REPL,
-
-- the command name must be written first, options afterward
-- full command names or official abbreviations (as in the command list) must be used
-- options parsing with addon commands might be less flexible than the CLI
-- the `stats` command gives false timings, currently
 
 ### Examples
 

hledger/Hledger/Cli/Commands/Run.md

@@ -39,10 +39,9 @@ If that gives an error, use `#!/usr/bin/env -S hledger run`.
 It's ok to use the `run` command recursively within a command script.
 
 You may find some differences in behaviour between `run` command lines and normal hledger command lines.
-For example, with `run`,
+`run` is a little stricter;
-
+eg it requires full command names or official abbreviations (as seen in the commands list),
-- the command name must be written first, options afterward
+and command options must be written after the command name.
-- full command names or official abbreviations (as in the command list) must be used
 
 ### Examples