That's a shame. Mangadex, even with the stuff I disliked about it, has consistently been better than basically any alternative. Sad to see these series (and probably many more in the near future) go. Hopefully that library export tool that was talked about earlier in the thread comes out soon so...