texadept: Import textadept-12.7 as editors/textadept
