Renamed PrettyPrinter to Labelizer
New version and extended VersionNumber