v2.7.2

New

• Token picker snippets — common multi-token combinations (page of total, title/author, bookmarks, highlights, session stats) available from the Tokens button in the line editor

Fixes

• Gray lines preserved in nudge dialogs — the DU waveform used for live preview was dropping thin gray button separators and metro bar borders; now only used for rapid text input