Seems like Denis@Home is planning for a new life: https://denis.usj.es/denisathome/server_status.php