I’ve been having trouble keeping this instance up - right now, it’s a problem with proxy errors between the docker containers as well as with the Ansible scripts. It’s taking too much time to maintain.
I’ll do my best to keep the server up until 31 Oct 2023. After that, it will likely be shut down.
@hsl, sorry to hear that. Thank you for this wonderful little corner. I guess it’s soon time to move on again.