2016-01-27 3:06 GMT+01:00 Ben Coman <btc@openinworld.com>:

It would be great for Pharo Launcher to be the default download, but
why can it not still be called "PharoLauncher.app".

+1