obtain a specific PlayerRecord settings file

def getPlayer(name):
    """obtain a specific PlayerRecord settings file"""
    if isinstance(name, PlayerRecord): return name
    try:    return getKnownPlayers()[name.lower()]
    except KeyError:
        raise ValueError("given player name '%s' is not a known player definition"%(name))