Question on status of '+xml' notation

Hi folks,

The W3C XML Protocol WG is wondering what the status of the "+xml"
suffix given that various W3C recommendations that have come out after
the RFC rolled out seem to make any of the three choices:

	* don't use "+xml"
	* use "+xml"
	* don't say anything about MIME
 
We would very much appreciate input on what the deployment status is of
RFC 3023. Note that we are not asking the status of the document itself
but rather the adoption rate in specs and apps.

Thanks for any input!
 
Henrik