Maybe these are from earlier today? If so, I never got the ping on them.
New to me: #857 through 868.
Sorry if this was already known.
Better to know twice than not at all!