@jmorganson on WordPress.org
Created ticket #12176 on Core Trac:UI option to enable/disable built-in theme editor