Hi Michal, so I've merged your patch now eventhough I'm still not totally convinced it's a good idea, I continue to think it will lead to some surprizes.
Regarding your point below : > E.g. you can't use "source", because that patch broke it. I'm curious how > many other stuff got broken with those patches around default-server. For me "source" seems to work fine. Did you at least send Frédéric a working reproducer for the issue you discovered ? If not, I'm not going to spend more time trying to guess what problem you may have faced :-/ Regards, Willy