I followed the instructions in "HOWTO: Export S32DS Project to IAR EW (S32K14x/S32K11x)", but I couldn't find the "Project Info Export Wizard" option in "Export".