--- a/wp/wp-includes/widgets/class-wp-widget-recent-comments.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-includes/widgets/class-wp-widget-recent-comments.php	Tue Sep 27 16:37:53 2022 +0200
@@ -134,7 +134,7 @@
 			// The title may be filtered: Strip out HTML and make sure the aria-label is never empty.
 			$title      = trim( strip_tags( $title ) );
 			$aria_label = $title ? $title : $default_title;
-			$output    .= '<nav role="navigation" aria-label="' . esc_attr( $aria_label ) . '">';
+			$output    .= '<nav aria-label="' . esc_attr( $aria_label ) . '">';
 		}
 
 		$output .= '<ul id="' . esc_attr( $recent_comments_id ) . '">';