pager: extend LineState with header/separator/blank, update filteredLines, add runMan with section navigation

dev · 3 weeks ago · 2026-05-11 · 10.1 MB

health

· — tests not configured · no ci run yet · ✦ secrets clean · 0 saves scanned · — builds not configured · no build data yet
$ koh steal kepr.uk/koh@b70609ce276c
·
← 627a25 774129 →
⇓ download .face