nix/nvim-agda/**/* linguist-vendored