Changes in Game/EntropySmoothing.agda and Game/EntropySmoothing/WithKey.agda