Document filter option when fetching sources via git.