Yes, that's the correct link. For those not following closely, it used to be piet-gpu, but we changed the name since it's not based on the Piet API any more, and the new WGSL shaders are basically a rewrite.