Use a documentation comment.

Author: vbabanin

driver-core/src/main/com/mongodb/internal/connection/OperationContext.java

@@ -114,8 +114,10 @@ public OperationContext withOperationName(final String operationName) {
                 operationName, tracingSpan);
     }
 
-    // TODO-JAVA-6058: This method enables overriding the ServerDeprioritization state.
-    //  It is a temporary solution to handle cases where deprioritization state persists across operations.
+    /**
+     * TODO-JAVA-6058: This method enables overriding the ServerDeprioritization state.
+     * It is a temporary solution to handle cases where deprioritization state persists across operations.
+     */
     public OperationContext withNewServerDeprioritization() {
         return new OperationContext(id, requestContext, sessionContext, timeoutContext, new ServerDeprioritization(), tracingManager, serverApi,
                 operationName, tracingSpan);