0.31.2

0.31.2 (2026-10-08)

Bug Fixes

• ui: Jump to a fragment without reloading the frame (f208ec4)
• ui: Keep the app bar on pages too short to hide it (bc2503b)
• ui: Lift the scroll-to-top button above the footer (8cb07ea)
• ui: Treat a bare fragment as the top of the page (e312bf0)

Code Refactoring

• ui: Give the address of a documentation page one home (66d2572)

Documentation

• Open the introduction with the voraus hero (dc1ba75)

Tests

• ui: Check frame navigation invariants across arrivals and link kinds (a79a001)

Build System

• deps: Update all dependencies (9256442)
• deps: Update github-actions dependencies (4f0a8c1)