The source project of this merge request has been removed.
GoodBadISPs: Remove Good Experiences header
It was a long time ago that we had separate "good" and "bad" experiences sections, but have since merged it into one list. Yet we still have the old Good Experiences header. We should remove it.