Archived versions of Joomla Documentation are Down ?

[jojoto]

Hello,
it seems that the server that hosts the documentation for older versions of Joomla has a problem.
Only the domain https://docs.joomla.org :

The new docs work nice https://manual.joomla.org/ :

that's all, have a nice day

[HLeithner]

We have some issues with some websites an we are working on it. Closing this here because it's unrelated to the manual.