Clarify actual behavior of 'git add' and ignored files