Files
hotfiles/.config/nvim/COQinit.lua.none