[NTG-context] Migrating ConTeXt's Textadept settings from v9 to v10.