I just wanted to announce that the main server (160.251.58.131) is back up and running again (for now).