[Doc] Fix tips loading in production

Author: djhi

docs/js/ra-navigation.js

@@ -153,9 +153,6 @@ document.addEventListener('DOMContentLoaded', () => {
         'beginner-mode-trigger'
     );
 
-    if (window.location.pathname === '/documentation.html') {
-    }
-
     if (beginnerModeTrigger) {
         beginnerModeTrigger.addEventListener('click', () => {
             beginnerMode = !beginnerMode;
@@ -230,7 +227,7 @@ window.addEventListener('popstate', () => {
         return;
     }
 
-    if (window.location.pathname === '/documentation.html') {
+    if (window.location.pathname.includes('/documentation.html')) {
         fetch(window.location.pathname)
             .then(res => res.text())
             .then(replaceContent)
@@ -268,7 +265,7 @@ window.addEventListener('DOMContentLoaded', () => {
     navigationFitScroll();
     loadNewsletterScript();
 
-    if (window.location.pathname === '/documentation.html') {
+    if (window.location.pathname.includes('/documentation.html')) {
         import('./ra-doc-exec.js').then(docExecModule => {
             document.querySelector('.DocSearch-content').innerHTML = '';
             toggleDockBlocks(true);