diff --git a/tools/pandoc-add-toc b/tools/pandoc-add-toc
deleted file mode 100755
index cebca605b..000000000
Binary files a/tools/pandoc-add-toc and /dev/null differ
diff --git a/tools/pandoc-capitalize-headers b/tools/pandoc-capitalize-headers
deleted file mode 100755
index 41c1bb886..000000000
Binary files a/tools/pandoc-capitalize-headers and /dev/null differ
diff --git a/tools/pandoc-demote-headers b/tools/pandoc-demote-headers
deleted file mode 100755
index 21daf5577..000000000
Binary files a/tools/pandoc-demote-headers and /dev/null differ
diff --git a/tools/pandoc-drop-html-blocks b/tools/pandoc-drop-html-blocks
deleted file mode 100755
index 2123d638d..000000000
Binary files a/tools/pandoc-drop-html-blocks and /dev/null differ
diff --git a/tools/pandoc-drop-html-inlines b/tools/pandoc-drop-html-inlines
deleted file mode 100755
index 33e84e837..000000000
Binary files a/tools/pandoc-drop-html-inlines and /dev/null differ
diff --git a/tools/pandoc-drop-links b/tools/pandoc-drop-links
deleted file mode 100755
index 4d2a9e837..000000000
Binary files a/tools/pandoc-drop-links and /dev/null differ
diff --git a/tools/pandoc-drop-man-blocks b/tools/pandoc-drop-man-blocks
deleted file mode 100755
index 56edc7959..000000000
Binary files a/tools/pandoc-drop-man-blocks and /dev/null differ
diff --git a/tools/pandoc-drop-notes b/tools/pandoc-drop-notes
deleted file mode 100755
index d0d30771f..000000000
Binary files a/tools/pandoc-drop-notes and /dev/null differ
diff --git a/tools/pandoc-drop-toc b/tools/pandoc-drop-toc
deleted file mode 100755
index dabbe3d4d..000000000
Binary files a/tools/pandoc-drop-toc and /dev/null differ
diff --git a/tools/pandoc-drop-web-blocks b/tools/pandoc-drop-web-blocks
deleted file mode 100755
index f39e08d39..000000000
Binary files a/tools/pandoc-drop-web-blocks and /dev/null differ