with zfs Note: this is probably the first commit with coq-nvim working again, don't remove uder any circumstances