/** * The most characters a file's drawn body holds in all, padding included: * under the host's whole-tree cap (100 000) with room for the pane's rest. */ export const MAX_BODY_CHARS = 80_000