Also: “Hall of Fame” is not a good substitute for “Top Contributors”, since it implies that the people in it are no longer active. (Why bother to rename the list anyway? “Top Contributors” is a perfectly fine description.)
Also: “Hall of Fame” is not a good substitute for “Top Contributors”, since it implies that the people in it are no longer active. (Why bother to rename the list anyway? “Top Contributors” is a perfectly fine description.)