Is there any plan to try to fix federation with hexbear.net? Shortly after their domain expired it stopped working, but now that it's back it doesn't seem to have resumed. Does Lemmy even have something in place to fix federation issues when something like this happens?

ex: https://lemmy.dbzer0.com/c/badposting@hexbear.net

https://hexbear.net/c/badposting