This message was deleted.

Thanks, we'll take a look

Looks good. I just merged it. Takes about 10 minutes to build and deploy a new docker image