On Sat, Mar 7, 2015 at 4:16 PM, Klaus Hartnegg <hartnegg@???> wrote:
>> Just want to say that I really like this idea of naming releases after minor planets, such as Ceres. It's a way cool idea.

+1

> Cool yes, but useful? Numbers have the huge advantage that everybody knows their order, which is quite important when referring to versions.

Most people will want the latest version, which will always be the
latest advertised on the site. Keeping tabs does matter, so a wikipage
could solve that.