more editors and implementations