Constant TIPS_SEEN_KEY 

pub const TIPS_SEEN_KEY: &str = "tips_seen";

Storage key under which the ids of the tips already shown are saved, one per line.