fn marked(here: &str, seal: &Seal) -> (Marks, Arc<Vec<Text>>)
Every device’s marks, and every text with those hidden: for the Porch’s folding (a notification of a text deleted since folds into nothing shown).