extend documentation

Author: falkoschindler

website/documentation/content/navigate_documentation.py

@@ -20,10 +20,14 @@ def open_github() -> None:
 
 
 @doc.demo('Push and replace URLs', '''
-    The `history` object allows you to push and replace URLs to the browser history.
+    The `history` API allows you to push and replace URLs to the browser history.
 
     While the `history.push` method pushes a new URL to the history,
     the `history.replace` method replaces the current URL.
+
+    See `JavaScript's History API <https://developer.mozilla.org/en-US/docs/Web/API/History>`_ for more information.
+
+    *Added in version 2.13.0*
 ''')
 def history_demo() -> None:
     ui.button('Push URL', on_click=lambda: ui.navigate.history.push('/a'))