Issue #22845: Improved formatting of dis documentation.