Since we won't be tracking ext/-directory providers via git (e.g. no submodules), instead we'll do little version-tracking files like this, to be used by the recent ext-checkout script.