As such, the WEBGL_depth_texture proposal can be changed back to OES_depth_texture.

Patch attached. Exchanged the WEBGL prefix for this extension with the OES prefix, and removed the addendum so it now mirrors without modification. Patch is attached for the old file location (extensions/proposals/WEBGL_depth_texture). Please rename that to extensions/proposals/OES_depth_texture after patch application (svn can't deal with file moves)