16:30 local time we will do some DNS related config change for files.pharo.org

Nothing should change due to that normally.

Marcus