# Heh, filenames will be confusing, so just manually add them with
#  `git add -f ...`
*