roles and capacities

Thank you for this nice plugin!
I only noticed one thing: in the main php file at line 38 at ‘add_management_page’ there is role of ‘administrator’, but in the ‘add_options_page’ the role is ‘manage_options’.
So it means if I assign a role different than administrator, they can manage the options, but can not make use of this plugin.
Is it possible to change the role ‘administrator’ in the main php file also to ‘manage_options’ so I can assign other roles to make use of this plug-in?

https://wordpress.org/plugins/order-your-posts-manually/