Re: docker, what could be the advantage?

We should be fundamentally grateful to Ulrich Hoffman
for compiling this collection and publishing it on github.
Even if I personally don't use Docker, I am happy about
Ulrich's commitment.
--