--- a/wp/wp-admin/network.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-admin/network.php	Tue Sep 27 16:37:53 2022 +0200
@@ -49,9 +49,11 @@
 }
 
 if ( is_network_admin() ) {
+	// Used in the HTML title tag.
 	$title       = __( 'Network Setup' );
 	$parent_file = 'settings.php';
 } else {
+	// Used in the HTML title tag.
 	$title       = __( 'Create a Network of WordPress Sites' );
 	$parent_file = 'tools.php';
 }