#420358 follow-up by Dave Reid: Rename profiles default => standard and expert => minimal, for consistency with labels.