The change in checkin.c as shown in the attached diff does not appear to
be necessarily since checkin.c always generates the R card.