Documentation of StackOverflow is finally gone, and I am happy about it. StackOverflow was meant to be a Q/A site, and it is, in fact, the top site in its category. But Docs is not something it should be doing. Every project have their own documentation which is good in itself.
I want to express the feeling that I'm happy it is gone. Happy is so generic for this. Grin is also not one of it. Please also note that I have a negative context.
And please, I really like SO, I don't hate it. I just want to improve my vocab.
This question is not as same as What do you call a person who takes pleasure in the success of others? because that question completely different. It deals with happiness which is caused by the success of others, and this question is more like happiness in the failure of others.