nkznkpkn web: link configured mirrors in the repo sidebar
qtkwwkso web: redirect /<repo>/ to the repo home
ovkwlszp web: keep the viewport still when clicking a line number
kmzzkzkr web: add line permalinks to the file view
5be79b03 Syntax highlight commit diffs
mxmpqpnw Neutralize web background colors
fd66c5f5 docs: reconcile documentation with the shipped code
lznokrwx ci: add time of day to release versions
vtnkpyxz Allow quire mirror push over SSH dispatch
xpulzynp ci: drop uv from workflow re-enable comment
stuxuksn Fix build after dependency updates
nxvmulyt Unhang the property tests by upgrading hegeltest