Hi Eric,
I am still a little uncomfortable about the fact that there is no explicit statement that "teredo is needed because NAT was deprecated in IPv6 so teredo is needed to allow IPv6 nodes to communicate with IPv4 nodes in a domain that utilizes NAT."
Teredo really doesn't have anything to do with IPv6<=>IPv6 NAT or NAT-PT.
This is still true in section 3.2.4 Automatic sunset. Some how this whole section scares me as it seems to imply that there is a way to turn an IPv4 NAT into an IPv6 Router while maintaining the NAT like functionality. As stated above, NAT is not part of IPv6 (NAP is but is still not mentioned in this document).
Margaret