Would it be worth updating the "opentelemetry.io" link in the right sidebar of https://github.com/open-telemetry/opentelemetry-lambda to https://opentelemetry.io/docs/platforms/faas/ ?