The #fingerProtocol — except without any 7-bit ASCII restrictions — that were (from a specification(s) point-of-view) added in #IETF #RFC1288 , but didn't exist in #IETF #RFC742 .
#finger has an origin at least going back to 1971.
#IETF #RFC742 was written to document the existing #fingerProtocol , as it was (implicitly) defined by software.
I.e., finger had been around and was evolving AT LEAST 6 years before RFC-742 was published.
