diff --git a/.config/aliasrc b/.config/aliasrc
index c88f76a..908a6e8 100644
--- a/.config/aliasrc
+++ b/.config/aliasrc
@@ -20,3 +20,4 @@ alias dotfiles='/usr/bin/git --git-dir=$DOTFILES --work-tree=$HOME'
 alias abcde='abcde -c $XDG_CONFIG_HOME/abcde/config'
 alias abook='abook --config $XDG_CONFIG_HOME/abook/abookrc --datafile "$XDG_DATA_HOME"/abook/addressbook'
 alias pip-upgrade="pip freeze --user | cut -d'=' -f1 | xargs -n1 pip install -U"
+alias wget="wget --hsts-file=$XDG_CACHE_HOME/wget-hsts"
diff --git a/.config/nvim/after/ftplugin/verilog.lua b/.config/nvim/after/ftplugin/verilog.lua
index bf75582..a41731d 100644
--- a/.config/nvim/after/ftplugin/verilog.lua
+++ b/.config/nvim/after/ftplugin/verilog.lua
@@ -3,8 +3,11 @@
 -- License      : GPLv3
 -- Description  : verilog fietype config
 
-utils.map("n", "<leader>j", ":CoqNext<Enter>")
-utils.map("n", "<leader>k", ":CoqUndo<Enter>")
-utils.map("n", "<leader><Enter>", ":CoqToLine<Enter>")
+utils.map("n", "<C-c>", "<cmd>CoqInterrupt<CR>")
+utils.map("n", "<leader>j", "<cmd>CoqNext<CR>")
+utils.map("n", "<leader>k", "<cmd>CoqUndo<CR>")
+utils.map("n", "<leader><CR>", "<cmd>CoqToLine<CR>")
+utils.map("n", "<leader>a", "<cmd>Coq About")
+utils.map("n", "<leader>G", "<cmd>CoqJumpToEnd")
 
 utils.map("i", "//", "∥")
diff --git a/.config/nvim/init.lua b/.config/nvim/init.lua
index 6036136..0666dca 100644
--- a/.config/nvim/init.lua
+++ b/.config/nvim/init.lua
@@ -9,5 +9,3 @@ require("settings")     -- ./lua/settings.lua
 require("plugins")      -- ./lua/plugins.lua
 require("maps")         -- ./lua/maps.lua
 require("statusline")   -- ./lua/statusline.lua
-
-require("polyjuice")    -- ~/.local/src/polyjuice/lua/polyjuice.lua
diff --git a/.config/nvim/lua/lsp/python.lua b/.config/nvim/lua/lsp/python.lua
index 452213d..466a94a 100644
--- a/.config/nvim/lua/lsp/python.lua
+++ b/.config/nvim/lua/lsp/python.lua
@@ -3,4 +3,6 @@
 -- License       : GPLv3
 -- Description   : jedi (python) config file for lsp
 
-require("lspconfig").jedi_language_server.setup{}
+require("lspconfig").jedi_language_server.setup{
+    cmd = { vim.fn.stdpath("data") .. "/lsp_servers/jedi_language_server/venv/bin/jedi-language-server" }
+}
diff --git a/.config/nvim/lua/maps.lua b/.config/nvim/lua/maps.lua
index 2b2b562..60f45a5 100644
--- a/.config/nvim/lua/maps.lua
+++ b/.config/nvim/lua/maps.lua
@@ -4,8 +4,6 @@
 -- Description   : neovim mappings file
 
 utils.map("n", "<space>", "<leader>")
-utils.map("n", "<leader>j", "<cmd>bn<CR>")
-utils.map("n", "<leader>k", "<cmd>bp<CR>")
 utils.map("n", "<leader>y", "\"+y")
 utils.map("n", "<leader>p", "\"+P")
 utils.map("n", "<leader><enter>", "<cmd>w! | !compiler %<CR>")
diff --git a/.config/nvim/lua/plugins.lua b/.config/nvim/lua/plugins.lua
index b83dfa1..e4b9fb3 100644
--- a/.config/nvim/lua/plugins.lua
+++ b/.config/nvim/lua/plugins.lua
@@ -20,8 +20,8 @@ return require("packer").startup(function()
 
         -- colorscheme
         use {
-                "~/.local/src/polyjuice/",
-                requires = "tjdevries/colorbuddy.nvim"
+                "~/.local/src/astronomy",
+                config = function() require("colorscheme") end
         }
 
         -- tree-sitter
diff --git a/.config/zsh/zsh_prompt b/.config/zsh/zsh_prompt
index 05c8408..e06bd9c 100644
--- a/.config/zsh/zsh_prompt
+++ b/.config/zsh/zsh_prompt
@@ -6,7 +6,7 @@ setopt prompt_subst
 zstyle ':vcs_info:git:*' check-for-changes true
 zstyle ':vcs_info:git:*' stagedstr '*'
 zstyle ':vcs_info:git:*' unstagedstr '!'
-zstyle ':vcs_info:git:*' formats '(%F{208}%b%F{015}: %c/%u%F{015}) '
+zstyle ':vcs_info:git:*' formats '(%F{202}%b%F{007}: %c/%u%F{007}) '
 zstyle ':vcs_info:*' enable git
 
 PROMPT="[ %{$fg[cyan]%}%n\
diff --git a/.gitmodules b/.gitmodules
index adcdc69..5091431 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,3 @@
-[submodule ".local/src/polyjuice"]
-	path = .local/src/polyjuice
-	url = git@github.com:swy7ch/polyjuice.git
 [submodule ".local/src/dwm"]
 	path = .local/src/dwm
 	url = git@github.com:swy7ch/dwm.git
diff --git a/.local/src/dmenu b/.local/src/dmenu
index e64ab65..0f4c5fa 160000
--- a/.local/src/dmenu
+++ b/.local/src/dmenu
@@ -1 +1 @@
-Subproject commit e64ab6522752e3ac48357fb6e3a9b37e6e03f575
+Subproject commit 0f4c5faed3e396832bd11586371698d06bf21b71
diff --git a/.local/src/dwm b/.local/src/dwm
index 7199d8d..f8ad07e 160000
--- a/.local/src/dwm
+++ b/.local/src/dwm
@@ -1 +1 @@
-Subproject commit 7199d8d564c144bbf4d47641db72b071f39533c7
+Subproject commit f8ad07e02878adfbdab1241869630d608566c5c0
diff --git a/.local/src/polyjuice b/.local/src/polyjuice
deleted file mode 160000
index bd4119a..0000000
--- a/.local/src/polyjuice
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit bd4119a8c1a57b84f9470950a514f52d81907abb