@jwildeboer@social.wildeboer.net yes, we suggested that (we are not hosting DNS ourselves anymore). So far we were lucky as the most critical services don't depend on DNS. Nevertheless, I hope it will be solved soon as we will need it during business hours.