diff --git a/.config/htop/htoprc b/.config/htop/htoprc
index ab453ca..8bf2205 100644
--- a/.config/htop/htoprc
+++ b/.config/htop/htoprc
@@ -1,6 +1,6 @@
 # Beware! This file is rewritten by htop when settings are changed in the interface.
 # The parser is also very primitive, and not human-friendly.
-htop_version=3.2.2
+htop_version=3.3.0
 config_reader_min_version=3
 fields=0 48 17 47 46 18 38 39 40 2 49 1
 hide_kernel_threads=1
@@ -37,25 +37,25 @@ column_meter_modes_0=1 1 1 2
 column_meters_1=RightCPUs2 Tasks LoadAverage Uptime
 column_meter_modes_1=1 1 2 2
 tree_view=0
-sort_key=47
+sort_key=46
 tree_sort_key=0
 sort_direction=-1
 tree_sort_direction=1
 tree_view_always_by_pid=0
 all_branches_collapsed=0
 screen:Main=PID USER PRIORITY PERCENT_MEM PERCENT_CPU NICE M_VIRT M_RESIDENT M_SHARE STATE TIME Command
-.sort_key=PERCENT_MEM
+.sort_key=PERCENT_CPU
 .tree_sort_key=PID
-.tree_view=0
 .tree_view_always_by_pid=0
+.tree_view=0
 .sort_direction=-1
 .tree_sort_direction=1
 .all_branches_collapsed=0
 screen:I/O=PID USER IO_PRIORITY IO_RATE IO_READ_RATE IO_WRITE_RATE
 .sort_key=IO_RATE
 .tree_sort_key=PID
-.tree_view=0
 .tree_view_always_by_pid=0
+.tree_view=0
 .sort_direction=-1
 .tree_sort_direction=1
 .all_branches_collapsed=0
diff --git a/.config/nvim/lua/custom/chadrc.lua b/.config/nvim/lua/custom/chadrc.lua
index 154c455..293e020 100644
--- a/.config/nvim/lua/custom/chadrc.lua
+++ b/.config/nvim/lua/custom/chadrc.lua
@@ -17,4 +17,10 @@ M.plugins = "custom.plugins"
 -- check core.mappings for table structure
 M.mappings = require "custom.mappings"
 
+-- tell Neovim that *.v files are Coq
+vim.api.nvim_create_autocmd({ "BufRead", "BufNewFile" }, {
+  pattern = "*.v",
+  callback = function() vim.bo.filetype = "coq" end,
+})
+
 return M
diff --git a/.config/nvim/lua/custom/plugins.lua b/.config/nvim/lua/custom/plugins.lua
index 9d09d71..f3e4582 100644
--- a/.config/nvim/lua/custom/plugins.lua
+++ b/.config/nvim/lua/custom/plugins.lua
@@ -38,6 +38,19 @@ local plugins = {
     end,
   },
 
+  {
+    "whonore/coqtail",
+    -- tell Coqtail to use `rocq` instead of `coqtop`
+    config = function()
+      vim.g.coqtail_program = "rocq"
+      vim.g.coqtail_coq_prog = "rocq"
+      -- any other Coqtail settings you like:
+      -- vim.g.coqtail_ft = "coq"        -- filetype
+      vim.g.coqtail_keymap_leader = "<leader>c"
+      vim.g.coqtail_map_prefix = "<leader>c"
+    end,
+  },
+
   {
     "stevearc/conform.nvim",
     --  for users those who want auto-save conform + lazyloading!