Talk:Mined (text editor)