Under annotations#245

Open

hflexgrig wants to merge 35 commits intoverybadcat:masterfrom

hflexgrig:under_annotations

Commits on Jan 26, 2026

Commits on Jan 27, 2026

Merge branch 'master' into under_annotations
hflexgrig
authored

Commits on Feb 1, 2026

basic display of underbrace
hflexgrig
committed

Commits on Feb 2, 2026

Commits on Feb 11, 2026

merged from master and resolved conflicts
hflexgrig
committed

Commits on Feb 12, 2026

Commits on Feb 13, 2026

Fix image baselines
Happypig375
committed