--- a/wp/wp-includes/widgets/class-wp-widget-categories.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-includes/widgets/class-wp-widget-categories.php	Tue Sep 27 16:37:53 2022 +0200
@@ -120,7 +120,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 ) . '">';
 			}
 			?>