XMLmind XML Editor v10.12 (July 8, 2025): Highlights: