Is this something we should add to `.gitignore`?