FYI this is now done! You can now remove a character (and thus their player) from a game. This is done from the game edit page. If the game hasn’t started yet, the character can be deleted. If the game has already started, the character can be “retired”, which preserves the character itself (so the story still makes sense historically) but removes the player from the game.