Previously, the generic "options" gear was used, which was confusing. This commit add a new icon, options_board, specifically for board-wide options.
John Beard