doc-other/05-utils.dox: Moved misplaced text