code: @Override
      public void compile(JQElement element, JSON attrs) {
          String text = SafeHtmlUtils.htmlEscape(element.text());
          element.empty().append(prettifier.prettify(text));
      }
docs: Processes the element body using Prettify filter.