This script fixes the r3 wiki bug of not loading css

• bug: duplicated wiki/doku.php/wiki/doku.php creates wrong css links
• fix: replace the url, if duplication happens
• How-to: install the userscript
  • install violentmonkey: https://violentmonkey.github.io/
  • add a new script
  • copy and paste the code block

// ==UserScript==
// @name        Fix realraum wiki css bug
// @namespace   fix_r3_wiki_css_bug
// @include     https://realraum.at/wiki/doku.php/wiki/doku.php*
// @version     1.0
// @grant       none
// ==/UserScript==
 
window.location = window.location.href.replace( "wiki/doku.php/wiki/doku.php", "wiki/doku.php" );