--- a/wp/wp-includes/widgets/class-wp-widget-recent-posts.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-includes/widgets/class-wp-widget-recent-posts.php	Tue Sep 27 16:37:53 2022 +0200
@@ -103,7 +103,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;
-			echo '<nav role="navigation" aria-label="' . esc_attr( $aria_label ) . '">';
+			echo '<nav aria-label="' . esc_attr( $aria_label ) . '">';
 		}
 		?>