message: remove "Type: " prefix
diff: @@ -377,15 +377,13 @@ export class InfoProvider implements Disposable {
  }
  private updateTypeStatus(info: InfoResponse) {
  - let text = 'Type: ';
  + let text = '';
  if (info.record) {
  const name = info.record['full-id'] || info.record.text;
  - if (name) {
  - if (!info.record.tactic_params) {
  + if (name && !info.record.tactic_params) {
  text += name + ' : ' + info.record.type;
  }
  }
  - }
  if (!this.statusShown) {
  this.statusBarItem.show();
  this.statusShown = true;
  