Add credits to @aziz's tmtheme editor