040000 tree 8687de5966f92481bb7b05e2a3e091e88da32efb	extensions
040000 tree 96005103b39be356e889b0011b10f2480708da79	file-reloading
040000 tree 1c5dd4742f79c664acd6f29961bd790f02491769	remote-workspaces