fixes #8062: correct link to editorconfig website