Additional information related to keeping padlock-encrypted files in a git repository.