Disable Edit Web Pages (edit_html.cgi)

Hey all

I’m using Virtualmin Pro and have configured a reseller. I would like to hide or remove the option for them to Edit Web Pages (edit_html.cgi) but I cannot seem to figure out where this is controlled.

Am I missing something really obvious or does this option not exist?

Thanks in advance.