Navigation doesn't consider expanded abridgments, so the content jumps down when that expanded portion reaches the top edge of the viewport.
Something went wrong. Try again.
A code review TUI that tries to reduce how many red and green squiggles you have to squint at
Something went wrong. Try again.