On 20 Oct 2017, at 10:48, Marcus Denker <marcus.denker@inria.fr> wrote:

Yes, that looks like a good thing to fix!

ZeroConf is here:

https://github.com/pharo-project/pharo-zeroconf

But I think it is not deployed automatically.