Thank you, that is very nice of you and feels good to hear, but it looks like it won’t be necessary: The plan is to move all the documentation to Read the Docs.

On 07/07/2022, 20:22, "Michael Richardson" <mcr@sandelman.ca> wrote:

Janos Follath <Janos.Follath@arm.com> wrote:

    > This was an unintended change. We had a series of unforeseen issues

    > with hosting.

:-(

I'm sure that many us are willing to help if the powers that be can permit

such a thing.