Mines: add a user preference for question marks.