The Daily Summary (1pm UTC) one didn’t fire on time. Not sure why. I’ve manually triggered it.
Better @mentioning? (there were some reservations about non-@mention usernames not being auto-updated if a username was changed, but this doesn’t happen often and if we clear down the topic after, say, two or four weeks then it limits that as well?)