we have a few hundred lines of monkey patchs to remove the buttons from here:
so that it looks like this:
without buttons and a bigger textarea.
This made sense when we were actually using these textarea directly, but nowadays we are injecting javascripts to edit with monaco or codemirror, so instead of customizing by monkey patching the ZMI page templates, we can adjust the DOM on the fly with some javascript.