Docs on how to resync git modules urls

Needed after the recent changes in ./gitmodules