[Theme Horse Support Team]

Hi P.hoedemaekers,

Sorry! There is Editor Option and we have not removed it nor we can it’s a WP core option.
Please try this direct link to open the editor page and let us know it works or not. Also try deactivating all the plugins and reinstall the fresh copy of the theme.

Thank you!