handle path change properly;

--- a/src/Tools/Find_Facts/web/src/Main.elm	Tue Feb 11 17:01:28 2025 +0100
+++ b/src/Tools/Find_Facts/web/src/Main.elm	Tue Feb 11 17:02:53 2025 +0100
@@ -82,6 +82,7 @@
 
 
 {- url encoding/decoding -}
+{- NB: routing only in URL fragment. -}
 
 aboutN = "about"
 searchN = "search"
@@ -164,7 +165,9 @@
   case msg of
     Link_Clicked urlRequest ->
       case urlRequest of
-        Browser.Internal url -> (model, push_url True model.nav_key url)
+        Browser.Internal url ->
+          if url.path == model.url.path then (model, push_url True model.nav_key url)
+          else (model, Navigation.load (Url.toString url))
         Browser.External href -> (model, Navigation.load href)
 
     Url_Changed url ->