The "Envelope" protocol was never implemented. The closest thing to "envelope" is now the message headers proposal (XEP-0033). For historical purposes, the original proposal is provided below.
414 DeLong St.
Cascade IA
52033
US
jeremie@jabber.org
01/25/2001
This extension allows clients to express to each other identities and message recipients in a rich way. Full names or nicknames can be sent, message forwarding headers, requested reply-to addresses, etc. It is often used within server-side functionality to note when messages are forwarded. The server otherwise does not use this namespace for actual routing or delivery purposes, that is entirely client-side.
<x xmlns="jabber:x:envelope"> <to jid="user@server">John</to> <cc jid="foo@bar.com">Some guy</cc> <replyto jid="asdf@asdf.com"/> <from jid="me@here.now">The Thing</from> <forwardedby jid="admin@server">administrator</forwardedby> </x>