VOEventStream or VOEventStreamRegExt

[Roy Williams]

Gretchen and Matthew and Registry WG

Please advise on name changes recommended in the VOEvent RFC. Mark 
Taylor writes:

"A reference is made to registry enhancements, proposed elsewhere, with 
the names VOEventStream and VOEventServer. I think these should be named 
instead VOEventStreamRegExt and VOEventServerRegExt (or similar) to 
follow standard practice for registry extension schemas. Perhaps 
somebody from the Reg WG can confirm."

Thank you
Roy Williams
California Institute of Technology