Having a highlight file(s) definition could help with web playground once we fix WASM build in upstream gpuweb.