Johannes Meyer 4a52a653e4 js: Always load redirects to their designated target
The server applies the redirection magic now, but only
for compatibility reasons.

resolves #4881
2023-08-11 16:08:00 +02:00
..
2023-08-09 15:16:16 +02:00
2022-05-27 14:02:11 +02:00
2023-08-09 15:16:16 +02:00