I think the first WebGPU spec release (1.0 when it becomes a living standard) is not going to include any kind of multithreaded usage of a single WebGPU device, so we should remove the references that are currently in there, which were added as part of incremental progress toward multithreading.