create file4.py: the repo is reported to be a 100% C++ project by GitHub, but should not be. It's almost all Python. I am thinkig that by adding a huge file with a .py extension, it might figure it out.