Thanks so much. In order to respond to your question I went through each “Security” menu option once again (thought I had thoroughly done that) and realized I had obviously missed the very last one under “System Tweaks”: “Turn off file editor in WordPress Back-end”. I truly appreciate your quick response and your plug-in.
