Clarify behavior wrt unrecognized extensions in INTRODUCE1.

See @Diziet's comment at arti!1020 (comment 2878706) .