On 5/1/2014 12:32 AM, bearophile wrote: > This is just the basic idea, and perhaps people suggested something better than > this. You've already got it working with version, that's what version is for. Why add yet another way to do it?