I would like to simply state that the forum suffered some technical difficulties for a few days, in that Docker decided suddenly to stop working and the server Admin (me) failed to have sufficient backups set up.
We restored from a backup, and everything has been fixed, even so far that we are now on a backup tier that is corporate grade. I can roll the whole server back to a later state.
Carry on!
