More testing of Knuth.
Add the IntelliJ settings file.