How do I redirect a mediawiki page to a folder with html? so I can use https://www.mediawiki.org/wiki/Extension:HTMLets
@Wikedneeded That extension does not require redirecting some MediaWiki page to make that extension work. What makes you think so?