XMLmind XML Editor v10.2 (July 25, 2022): Highlights: