Merge "Fix typos in documentation of `DiffIntraLineInfo` REST API element"