docker.io/domjudge/domserver disappeared on Dec 11th

Until December 11th, there was a "domjudge" user on Docker Hub hosting two images:

https://hub.docker.com/r/domjudge/domserver/ https://hub.docker.com/r/domjudge/judgehost/

Since December 11th this user seems to have disappeared from the site. Does anyone know who maintained the images and why they are now gone? They have been working just fine for me.

Sorry if this list is not the appropriate place for the question.

Best regards, Mathias Rav PhD student at Aarhus University, Denmark