@Gargron I might use another registry for the Dockerfile if I keep running into problems, as a workaround for now. But it has to be a registry that I trust, which has implications.

I'm out of office next week – hoping to move m.t off of Docker then. Using it made sense in 2017 but I'm comfortable enough with systems administration now that I'm not getting much value from it anymore.