diff --git a/pages/01.blog/how-we-replaced-vagrant-with-devenv/default.md b/pages/01.blog/how-we-replaced-vagrant-with-devenv/default.md
index 69cadd3..fafbf63 100644
--- a/pages/01.blog/how-we-replaced-vagrant-with-devenv/default.md
+++ b/pages/01.blog/how-we-replaced-vagrant-with-devenv/default.md
@@ -1,5 +1,13 @@
 ---
 title: 'How we replaced Vagrant with devenv'
+publish_date: '2024-03-10 13:20'
+taxonomy:
+    tag:
+        - NixOS
+        - Nix
+        - work
+        - Vagrant
+        - devenv
 ---
 
 # How we replaced Vagrant with devenv
@@ -245,7 +253,7 @@ could lead to instability. This is still a concern, but the long term
 plan is to create containers from our nix-based setup and move the
 servers closer to our development environment.
 
-# Footnotes
+## Footnotes
 
 [^1]: It started more than 20 years ago; Docker, by comparison, is only
     ten years old.