{# Both act on the editor, so app.js shows them for a text preview only. #}
{# Prepares an update statement in a new tab; it never writes by itself,
which is what the title says instead of just "save". #}
{# The archived file, never the editor buffer: a download must not hand
out a trimmed or truncated copy of a document. #}
{{ t("details.history") }}
{# The button names the order it shows, so its label reads as the state and
both directions ride along as data attributes for app.js to swap in. #}