Tools-API destroy is not invoked when editor.destroy() is triggered

[natterstefan]

The Problem

According to the docs, when I do the following:

/**
* Create an instance
*/
const editor = new EditorJS();

/**
* Destroy editor.
*/
editor.destroy();

all destroy methods of the tools should be invoked.

destroy
Method will be fired when Editor's instance is destroying with destroy API method. Clear your Tool's stuff here: remove event listeners, clear nodes cache and null variables and properties.
Docs: https://editorjs.io/tools-api#destroy

But, this does not happen.

Not sure if this is what was reported here already: #855.

Reproduce

1. Add the following to example/tools/header/src/index.js

  static get toolbox() {
    // ...
  }

  destroy() {
    console.log('I was destroyed');
  }

2. Now run yarn build:dev and execute editor.destroy() in the console

3. Nothing happend, even though the console should now say I was destroyed.