XMLmind XML Editor v10.3 (December 12, 2022): Highlights: