I believe that `.dat*` is created by the REPL. Not sure what it's used for, but it definitely needs to be in the `.gitignore`.