Introduction to mined

Mined is a text editor with