Re: #5861: Please block mate-text-editor on devel