Remove number of stars

Not that this file is update more than once every few months now...