MooBench: A micro-benchmark for performance overhead measurement of observability tools (Journal of Open Source Software, 2026)