Update thesaurus RSS feed to point to Github instead of sourceforge.
Index aggregation info (#1187).