[Pharo-users] Pharo Launcher name

I love the Pharo Launcher. But, I find it confusing to have an application called “Pharo.app”. Nothing in that name suggests it is a launcher. It is also very confusing to have an application called “Pharo.app” next to one called “Pharo6.1.app” when they are very different things (at least from a users perspective). Has changing the name of the Pharo Launcher to “Pharo Launcher” ever been considered? Just a thought. Most of all, thanks for the wonderful tool. Glenn