Instead of only showing THEME templates in admin/editor, it's also showing PLUGIN templates.
Normally this would be merely annoying but the editor is displaying a PLUGIN category.php instead of the THEME category.php.
The theme category.php does work for site display, but I cannot edit it in the edit screen. I'm concerned there are issues from this I haven't yet seen.
Anybody else seeing this and have a workaround?