Hello,
as a recommendation and to improve the plugin flexibility, consider adding the Teacher role(s) selection in the plugin setting and replace the hard-coded 'editingtecher' shortname usage.
This will allow admins to setup custom roles as a teacher role for the plugin.

Hello,
as a recommendation and to improve the plugin flexibility, consider adding the Teacher role(s) selection in the plugin setting and replace the hard-coded 'editingtecher' shortname usage.
This will allow admins to setup custom roles as a teacher role for the plugin.