{% from "_macros.html" import icon %}
{#
One file, read or edited.
A read/edit split rather than a highlighting editor, because there is no
vendored code editor and adding one would be a build step (hard rule 1) or a
payload larger than xterm's on every page in the application -- and xterm is
called out as the one heavy dependency precisely because it loads only on a
chat that can open a terminal.
So: pygments server-side for reading, and a plain