tab_ranking: number of games column added
developer tools: inline list and icons