The big renaming: 'Pure*' --> 'F*'.