Re: [Freesurfer] stable3 vs. stable-pub