> The side name is supposed to go gray when a side is no longer "in > game" (by loosing or at the end). No, the name is supposed to be crossed out when the side loses. The code makes a pretty clear distinction between "in game" and "ever in game" so I'm pretty sure this was intentional.