diff -r be944660c56a -r 3d72ae0968f4 wp/wp-admin/tools.php
--- a/wp/wp-admin/tools.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-admin/tools.php	Tue Sep 27 16:37:53 2022 +0200
@@ -39,6 +39,7 @@
 /** WordPress Administration Bootstrap */
 require_once __DIR__ . '/admin.php';
 
+// Used in the HTML title tag.
 $title = __( 'Tools' );
 
 get_current_screen()->add_help_tab(