diff --git a/.Renviron b/.Renviron
index 410393a6..cd360ed5 100644
--- a/.Renviron
+++ b/.Renviron
@@ -1 +1,2 @@
 RENV_CONFIG_WATCHDOG_ENABLED = FALSE
+R_BUILD_TAR=tar
diff --git a/libs/header-attrs/header-attrs.js b/libs/header-attrs/header-attrs.js
deleted file mode 100644
index dd57d92e..00000000
--- a/libs/header-attrs/header-attrs.js
+++ /dev/null
@@ -1,12 +0,0 @@
-// Pandoc 2.9 adds attributes on both header and div. We remove the former (to
-// be compatible with the behavior of Pandoc < 2.8).
-document.addEventListener('DOMContentLoaded', function(e) {
-  var hs = document.querySelectorAll("div.section[class*='level'] > :first-child");
-  var i, h, a;
-  for (i = 0; i < hs.length; i++) {
-    h = hs[i];
-    if (!/^h[1-6]$/i.test(h.tagName)) continue;  // it should be a header h1-h6
-    a = h.attributes;
-    while (a.length > 0) h.removeAttribute(a[0].name);
-  }
-});