def make_key(df):
    """
    encode the dataframe's column names into a key,
    this triggers a hard reload (like F5) of the AgGrid if the columns change
    """
    return "stand:" + "+".join(str(col) for col in df.columns)