I think we should thank this maintainer for his great job, he made the internet a better place. I really hope he will now be working on some other project that

I think we should thank this maintainer for his great job, he made the internet a better place. I really hope he will now be working on some other project that he finds exciting, either that is painting or writing the next cool app :) Thank you!