Pandoc 过滤器 pandoc.Para Lua 函数中的字符转义

我正在使用 Pandoc 进行大规模的 HTML 到 Markdown 转换项目，并尝试编写 lua 过滤器来处理一些特殊情况。

我要处理的最常见情况是将特别格式化的信息框转换为 pymarkdown summary/detail formatting。

源 HTML

<div class="special-info-block">
  <p class="title">INFO</p>
</div>

目标 Markdown

???+ info "INFO"

我可以使用此函数替换 "INFO"：

function Div(el)
   if el.classes[2] == "special-info-block" and pandoc.utils.stringify(el.content[1]) == "INFO" then
      el.content[1] = pandoc.Para('??? info "INFO"+')
      return el
   end
end

但生成的 markdown 会转义 INFO 周围的引号：

???+ info \"INFO\"

我该如何插入字面字符串呢？这是 pandoc.Para 构造函数的一个特点，还是我应该寻找其他地方呢？