Adapt to 2.17 change regarding Lua Filter

[cderv]

bookdown/inst/rmarkdown/lua/custom-environment.lua

Line 79 in bb663ec

if (type(v) == 'table' and v.t == 'MetaInlines' and proof_label[k] ~= nil) then

Same as in rstudio/pagedown#268 fixed by rstudio/pagedown#269
so we should make the fix more generic, probably in rmarkdown's shared.lua

[github-actions]

This old thread has been automatically locked. If you think you have found something related to this, please open a new issue by following the issue guide (https://yihui.org/issue/), and link to this old issue if necessary.