CheckersWithMenus: comment out unused features