[22:39] tilde.red is back online, but apparently someone else is in charge now. Not sure if it is a tilde server again or something else.
(entire month)