--- a/wp/wp-admin/network/user-new.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-admin/network/user-new.php	Tue Sep 27 16:37:53 2022 +0200
@@ -98,6 +98,7 @@
 	}
 }
 
+// Used in the HTML title tag.
 $title       = __( 'Add New User' );
 $parent_file = 'users.php';