https://zxbasic.readthedocs.io down?

[boriel]

Okay it seems that the bookmark I had this https://zxbasic.readthedocs.io/en/docs/identifier but now looks like it is https://zxbasic.readthedocs.io/en/docs/identifier.html ?
Anyway all seems good again :-)

Hmmm. Weird... I swear the trailing .html wasn't needed?

That said, and for the record, ReadTheDocs is a Saas, as you might already know (if the service is down, there's little I can do). However, if anyone suspects there's a broken link, then please report it ASAP, so I can fix the docs (yes, there are some of them still to be fixed, but if nobody complains, then it means they're of little or no use, so I'll focus in the compiler itself).