Paths of websites have changed, so external links to them are not working any more
since, at least Tuesday 10 May 22, all the paths of the HTML pages have changed. Example: https://doc.zih.tu-dresden.de/jobs_and_resources/hardware_overview/ is now https://doc.zih.tu-dresden.de/jobs_and_resources/hardware_overview.html
All pages now have the file extension .html instead of '/'.
As a result, all the links to the HPC Compendium no longer work.
Will it stay that way?