8000
mindoo/README: note the opentelemetry build fix Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>