Názory k článku Micro: až překvapivě kvalitní textový editor