drop mention of obsolete type-encode library