Users can reset any external index set by previous fragments by
putting a None for the index location, e.g:
Index: External: Server: None
Note that this will reset both File and Server, and will be a no-op when user
puts Server: None but they have a clangd without remote-index support.
Hmm, we could now make this non-optional, slight yak-shave, up to you.