Perhaps this could reference section 5.14 "The WebGL context" because there the behavior of most methods under context loss is defined.