Should something be done about the Tesseract registry on dockerhub?

[mpowelson-arm]

I've been away from the project for a while, and I was just looking for the latest containers. I see the project now uses github container registry. Should we do something about the registry on dockerhub under the rosindustrial organization? It seems like some options are

1. Delete it - Could break some old workflows, but I don't have access to the stats over there to see if anyone has been using it.
2. Add a link to the new registry in the documentation and note that it isn't used anymore - Lowest effort and gets the job done.
3. Mirror GHCR to DockerHub

I'd probably just do 2 and move on assuming someone has access to the rosindustrial org.

[mpowelson]

Forgot to switch users. I'm commenting so I can find this later.