https://wp.jochen.hayek.name/blog-en/2016/09/22/what-is-editorconfig/