I blame @adrienthebo for posing these weird philosophical questions. I suppose this is more of a thought experiment rather than a question you need to answer or a suggestion that something needs to be different. 

It's just a good idea to keep in mind that it's only by chance that these two platforms happen to share the same format for their version file, and that someday this might not be the case. Is it a good idea to lump these together now and have to separate them if they diverge in the future? Just something to think about. But for now, I think this is fine.