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.