I think it would be totally reasonable for us to maintain docker images. And it might also be a good candidate for github actions