Re: [PATCH v2] Documentation/rv: Replace stale website link

[Gabriele Monaco]

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 <matteo.martelli@xxxxxxxxxxxxxxx>
> Tested-by: Matteo Martelli <matteo.martelli@xxxxxxxxxxxxxxx>

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