Wrong preference name, oops
Convert old preferences (needs adobe/brackets#7415)