There should also be a little "expand" + sign that expands a list of "save as" extension options in the save as dialog. GIFs and JPEGs and PNGs have there own little optimization dialog that will pop up when you "save as" using one of those.