The GPLed Mined editor is a different animal.

• GPLed Mined编辑器是另一种不同的思路。