--- a/wp/wp-admin/network/themes.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-admin/network/themes.php	Tue Sep 27 16:37:53 2022 +0200
@@ -81,6 +81,7 @@
 				$themes = array();
 			}
 
+			// Used in the HTML title tag.
 			$title       = __( 'Update Themes' );
 			$parent_file = 'themes.php';
 
@@ -333,6 +334,7 @@
 	)
 );
 
+// Used in the HTML title tag.
 $title       = __( 'Themes' );
 $parent_file = 'themes.php';