CodingFont: A game to help you pick a coding font