Hi Matteo, On Tue, 2026-04-28 at 11:11 +0200, Matteo Martelli wrote: > Thanks for addressing this. FWIW this looks good to me, however I've > just noticed that the same article is also referenced in > rv/runtime-verification.rst with a slightly different format and no > link. I think that it might be more clear if we had a References > section in rv/runtime-verification.rst, add links to publicly > available articles, and then let the other pages point to that > section when needed instead of duplicating the references like in > this case. But that could probably be addressed as a further clean-up > patch. > > Acked-by: Matteo Martelli <[email protected]> > Tested-by: Matteo Martelli <[email protected]>
Thanks for the ack! That's a good point, I agree it's better to go ahead with this small patch and I can make a deeper documentation cleanup later. Thanks, Gabriele
