I've updated the RFC to clarify this point.