Perhaps we should adopt a different naming convention for unreleased versions. E.g. instead of 1.0, call it 0.93+0.07, or 0.9x-unstable. -- Raul