[Bro-Commits] [git/bro] master: A few more tiny documentation updates commited to the wrong branch. :) (86a1cbc)

[robin]

Note that these may cause conflicts during the script-reference merge
if there are changes there around the same locations. Please keep doc
changes there until it's in.

Robin