Generated by extension/tools/build.mjs. Safe to delete; do not edit.
