fn forget_hidden_media(here: &str, seal: &Seal)
The media of hidden texts gone from this device’s copies, unless a text shown holds them too.