Another comment for our `.gitignore`