Thanks but this is not sufficient. Methods with this extended attribute require specific documentation elsewhere describing their behavior when the context is lost. Please see the other similar methods in the WebGL spec and update this pull request.