Update RFC for the current patch of internal serialization API