Christopher Fuhrman Fri, 17 May 2019 00:52:20 -0700
I posted a feature request at https://github.com/pharo-project/pharo-launcher/issues/339