Include rationale for removing ungetc-char-ready?.