Development: Temporarily replace another documentation link

[timschumi]

Checklist

General

• I tested all changes and their related features with all corresponding user types on a test server.
• This is a small issue that I tested locally and was confirmed by another developer on a test server.
• Language: I followed the guidelines for inclusive, diversity-sensitive, and appreciative language.
• I chose a title conforming to the naming conventions for pull requests.

Motivation and Context

The original documentation server, which this link points to, is down.

Description

This switches the link to point to the GitHub-hosted copy of the documentation instead, similar to all other links in 648f8ec.

Steps for Testing

Prerequisites:

• 1 web browser
• 1 text editor (with "clickable links" functionality)

1. Open the respective file
2. Click the link
3. Observe the unresolvable server

Review Progress

Performance Review

• I (as a reviewer) confirm that the client changes (in particular related to REST calls and UI responsiveness) are implemented with a very good performance
• I (as a reviewer) confirm that the server changes (in particular related to database calls) are implemented with a very good performance

Code Review

• Code Review 1
• Code Review 2

Manual Tests

• Test 1
• Test 2

Exam Mode Test

• Test 1
• Test 2

[Strohgelaender]

lgtm, thanks for the contribution.

[Kroko-fant]

Tested the new link. Looks good to me

[Strohgelaender]

#7298 got merged yesterday, so this PR is no longer relevant.