terminal plug-in merged into debug ui plugin.