Extracting membership specs to a fresh file