IMO there are duplicate and unnecessary 3.1.1 and 3.1.3 sections in 3.1. Eclipse MicroProfile OpenTracing administration documentation.

microprofile-opentracing-smallrye is activated by default in standalone.xml -  so I suppose we could skip mentioned subsystem enabling step (which is also duplicated by 3.1.3 section_)._