Programs: have editorsForFile() just return the name, not the deprecated data.