Thank you JJJ65, for this nice update of your excellent Mission Editor!