Dump the detected target format to the output panel
Highlight JavaScript comments in JSON language definitions

Also let "toggle_command" use them.