We are dropping the main version number (the one before the dot) as Leon is being modified continuously. Each next version of Leon (published every 2 weeks) is marked with a sequent number. At the moment we have number 12 and that is the current version. This occasion called for a cake!