[Mailman-Users] how to disable html editing?

[Rae]

I would like to remove the option for the "Edit the public HTML pages" in 
the administration area. Where can I find this to comment it out?

TIA

Best wishes,
Rae