docker worker ppc-2 down

[Luca Toscano]

Hi everybody,

In a previous email I mentioned the fact that the docker ppc-2 worker
has been down for a while. It was mentioned that Amir is the point of
contact for the node, so I am sending a more visible email seeking for
help :)

Luca