Github only reports 5012 changed files though.