Bring back IntelliJ IDEA coding style configuration file, document it better.