diff --git a/.editorconfig b/.editorconfig
deleted file mode 100644
index beffa30..0000000
--- a/.editorconfig
+++ /dev/null
@@ -1,11 +0,0 @@
-root = true
-
-[*]
-indent_style = space
-indent_size = 2
-charset = utf-8
-trim_trailing_whitespace = true
-insert_final_newline = true
-
-[*.md]
-trim_trailing_whitespace = false
diff --git a/.gitattributes b/.gitattributes
deleted file mode 100644
index 176a458..0000000
--- a/.gitattributes
+++ /dev/null
@@ -1 +0,0 @@
-* text=auto
diff --git a/.gitignore b/.gitignore
index 8ca3126..76570c1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,2 @@
-result*
-shared/*
+result
+.direnv/
\ No newline at end of file
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 20f4216..d46d602 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -15,7 +15,7 @@ where you will find a [devshell](https://numtide.github.io/devshell) prompt (whi
 
 There's no formal commit process at this time.
 
-Do try to format the repo before submission, however.
+Do try to format the repo with [treefmt](https://github.com/numtide/treefmt) before submission, however.
 
     nix develop -c treefmt