---
layout: redirected
sitemap: false
redirect_to: /configuration/editors.html
<!-- Note to authors: This file was created in August 2017. Feel free to remove it after a few months... -->