#22613: document Cmd.cmdqueue (thanks Jacques Ducasse)
#22613: minor other fixes in library docs (thanks Jacques Ducasse)
#22613: fix several factual errors in builtin docs (thanks Jacques Ducasse)