#22613: minor other fixes in library docs (thanks Jacques Ducasse)
9 files changed