Characterizing User Needs for GenAI Incorporation in Educational Games | Synapse