In "WR History", where is the graphics of run times, the options of "Hall of Fame" is so many what it fills all the space, making the graphic itself small and unusable. I think what we can do normal "category extensions" and "hall of fame" 2 different pages, or at least make "extensions" in "misc" category of game page and "hall of fame" in the second category, what may be analogue of "category extensions" page (when they becomes too many and needed to make in different pages).