Yes, 015 is 13 octal. :) Remember when a bunch of distros inflated their version numbers to catch up with each other? We decided to poke fun on that and make the GoboLinux version numbers octal, so we'd have "scheduled bumps", so yes, we went from 007 to 010, and will go from 017 straight to 020 in the future :)