fn mark_read(here: &str, seal: &Seal, id: &str, texts: &[Text])
A conversation opened in Texts: read up to its newest text, on every device, and the phone’s notifications of it seen (gone from the Porch’s notices).