diff --git a/templates-extra/coq-htt.opam.mustache b/templates-extra/coq-htt.opam.mustache
deleted file mode 100644
index 2d53c31..0000000
--- a/templates-extra/coq-htt.opam.mustache
+++ /dev/null
@@ -1,50 +0,0 @@
-# This file was generated from `meta.yml`, please do not edit manually.
-
-opam-version: "2.0"
-maintainer: "{{& opam-file-maintainer }}{{^ opam-file-maintainer }}palmskog@gmail.com{{/ opam-file-maintainer }}"
-version: "{{ opam-file-version }}{{^ opam-file-version }}dev{{/ opam-file-version }}"
-
-homepage: "https://github.com/{{ organization }}/{{ shortname }}"
-dev-repo: "git+https://github.com/{{ organization }}/{{ shortname }}.git"
-bug-reports: "https://github.com/{{ organization }}/{{ shortname }}/issues"{{# coqdoc }}
-doc: "https://{{ organization }}.github.io/{{ shortname }}/"{{/ coqdoc }}
-{{# license }}license: "{{ identifier }}"{{/ license }}
-
-synopsis: "{{& synopsis }}"
-description: """
-{{& description }}"""
-
-build: [make "-j%{jobs}%"{{# make_target }} "{{ make_target }}"{{/ make_target }}]
-{{# test_target }}
-run-test: [make "-j%{jobs}%" "{{ test_target }}"]
-{{/ test_target }}
-install: [make "install"{{# install_flag }} "{{ install_flag }}"{{/ install_flag }}]
-depends: [
-{{# supported_ocaml_versions }}
-  "ocaml" {{& opam }}
-{{/ supported_ocaml_versions }}
-  "coq" {{& supported_coq_versions.opam }}
-{{# dependencies }}
-{{# opam }}
-  "{{ name }}" {{& version }}
-{{/ opam }}
-{{/ dependencies }}
-]
-
-tags: [
-{{# categories }}
-  "category:{{ name }}"
-{{/ categories }}
-{{# keywords }}
-  "keyword:{{& name }}"
-{{/ keywords }}
-{{# date }}
-  "date:{{ date }}"
-{{/ date }}
-  "logpath:{{ namespace }}"
-]
-authors: [
-{{# authors }}
-  "{{& name }}{{# email }} <{{& email }}>{{/ email }}"
-{{/ authors }}
-]
diff --git a/templates-extra/docker-action.yml.mustache b/templates-extra/docker-action.yml.mustache
deleted file mode 100644
index 9866673..0000000
--- a/templates-extra/docker-action.yml.mustache
+++ /dev/null
@@ -1,63 +0,0 @@
-# This file was generated from `meta.yml`, please do not edit manually.
-
-name: Docker CI
-
-on:
-  {{# ci_cron_schedule }}
-  schedule:
-    - cron: '{{ ci_cron_schedule }}'
-  {{/ ci_cron_schedule }}
-  push:
-    branches:
-      - {{branch}}{{^branch}}master{{/branch}}
-  pull_request:
-    branches:
-      - '**'
-
-jobs:
-  build:
-    # the OS must be GNU/Linux to be able to use the docker-coq-action
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        image:
-{{# tested_coq_opam_versions }}
-          - '{{ repo }}{{^ repo }}coqorg/coq{{/ repo }}:{{ version }}'
-{{/ tested_coq_opam_versions }}
-      fail-fast: false
-    steps:
-      - uses: actions/checkout@v2
-{{# submodule }}
-        with:
-          submodules: recursive
-{{/ submodule }}
-      - uses: coq-community/docker-coq-action@v1
-        with:
-          opam_file: 'coq-htt.opam'
-{{! Change delimiters to avoid the next line being parsed as mustache syntax. }}
-{{=<% %>=}}
-          custom_image: ${{ matrix.image }}
-<%# ci_extra_dev %>
-          before_install: |
-            startGroup "Setup and print opam config"
-              opam repo -a --set-default add coq-extra-dev https://coq.inria.fr/opam/extra-dev
-              opam config list; opam repo list; opam list
-            endGroup
-<%/ ci_extra_dev %>
-<%# ci_test_dependants %>
-          after_script: |
-            startGroup "Test dependants"
-              PINS=$(opam list -s --pinned --columns=package | xargs | tr ' ' ,)
-              PACKAGES=`opam list -s --depends-on <% opam_name %><%^ opam_name %>coq-<% shortname %><%/ opam_name %> --coinstallable-with $PINS`
-              for PACKAGE in $PACKAGES
-              do DEPS_FAILED=false
-                 opam install -y --deps-only $PACKAGE || DEPS_FAILED=true
-                 [ $DEPS_FAILED == true ] || opam install -t $PACKAGE
-              done
-            endGroup
-<%/ ci_test_dependants %>
-<%& action_appendix %>
-
-# See also:
-# https://github.com/coq-community/docker-coq-action#readme
-# https://github.com/erikmd/docker-coq-github-action-demo
diff --git a/templates-extra/dune.mustache b/templates-extra/dune.mustache
deleted file mode 100644
index 351cc62..0000000
--- a/templates-extra/dune.mustache
+++ /dev/null
@@ -1,11 +0,0 @@
-; This file was generated from `meta.yml`, please do not edit manually.
-
-(coq.theory
- (name {{ namespace }})
- (package {{ opam_name }}{{^ opam_name }}coq-{{ shortname }}{{/ opam_name }})
- (synopsis "{{& synopsis }}")
- (flags :standard
-   -w -notation-overridden
-   -w -local-declaration
-   -w -redundant-canonical-projection
-   -w -projection-no-head-constant))