Robin Sommer

Could be bumped beyond 4.0.

Looking at this a bit more, pulling in `pcg` sounds good to me, I'm on board. But we probably want to keep the current `detail::prng()` so that we don't break...

Yeah, I tend to agree with Christian here, would be nice if we could address this in some other way than removing the table layout. Could we add some additional...

So the underlying issue here is that a table makes it difficult to include that markup into *another* table: Sphinx doesn't support nested tables apparently. It's a not a problem...

A definition list I can see I think, that keeps the structure at least.

So I tried the definition list idea, but it doesn't look very nice either I think honestly:

> Oh oh :-/ I had meant that @stevesmoot could consider rendering the outer record types as definition lists (as is done on docs.zeek.org) and keep the table for the...

Are you using the zeek-archiver these days? Any chance the missing files might have ended up being at the regular log storage place?

This might be the inverse of getting access to all packets that we *not* processed, per #1595 .

I'd also question if this is a feature we want to support. I'd also add that having new headers in the middle of a Zeek log isn't something that ingesters...