Player key identifiers are now final

...as they should have been.