Web fonts vs raster export, and the optional “default fonts for export” checkboxes.