I knew they're not the same. My concern was that others who uses both editors might think a checkpoint taken in one of them would be accessible in the other one.
One the maxims that my English teachers drummed into me was: '
Use not the same word with different meanings nor yet the different words with the same meaning.' The value of that became very apparent when I started teaching ESL classes.
To avoid potential confusion I probably would have opted for a different label - 'versioning' perhaps.
And my 'synonymous' probably should have been 'equivalent'
BR