Anyone out there using the #relay from @derek ? It has been down for a while now and I can't seem to reach Derek via Mastodon or email.