Well… (sheepishly he says), turns out that I modified the wrong wp-config.php file. WHen I got the right file and changed “true” to “false” the Editor came back.
So, the band was NOT stumped!
Thanks for being there for me. I will be there for you now!