[File Extensions] abbreviations