My favorite text editor just got updated. Woopee!