Broken links to release notes
Expected Behavior
On the Release Page, links to the "detailed release notes" lead to further information.
Observed Behavior
All links to https://gitlab2.informatik.uni-wuerzburg.de/decker/decker/wikis/v082-release-notes are dead.