[j1elo]

> They are meant to be narrow and to the point, not didactic

And that's understandable, but I believe some are crossing a thin line between "this is not the place where you should be learning about the technicalities of this option" and "this was added for some obscure and undocumented reason and nobody will really know for sure why it's useful".

> [why would anyone want to do use +igndts?] Because the input has weird or unreliable DTS.

> In theory, igndts is unsetting wallclock dts set by the last option. genpts should have no effect, again due to the third option.

These 2 are perfect examples of concise clarifications that would help users a lot

> I wrote the docs section you refer to :)

And I personally thank you for it; it's much better some documentation, even if IMHO a bit too short on details, than no docs at all... and writing proper docs is hard, I know it very well from the project I'm maintainer of! :)