(Previous backup compatibility broken !!)

See Bug 84"; // User-friendly version number