Is there a recommended way to update the Extras Folder in Extension locally when updating the Theme automatically so that there is no need to do a gulp extension:fetch when you are about to customize the Extension after working with Theme? This will be helpful when for separate developers between Theme and Extension.