{{--
Lightweight AJAX-assisted navigation.
This does NOT swap page content via AJAX (risky here: most pages run
setInterval polling loops and Echo/WebSocket subscriptions that would leak
or double-fire if we tried to hot-swap the DOM instead of doing a real
navigation). Instead it:
1. Fires a `fetch()` the instant a finger/pointer touches a link — before
the tap even completes — so the server already has a head start on
rendering the destination by the time the browser actually navigates.
2. Gives instant visual feedback (pressed state + a thin top progress
bar) on tap, so buttons/bottom-nav never feel like they "did nothing".
3. Lets the browser perform its normal, fully-correct full navigation.
Include this once near the end of `` on any page.
--}}