Editors

This extension is of no relevance for editors.