--- a/wp/wp-admin/options-writing.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-admin/options-writing.php	Tue Sep 27 16:37:53 2022 +0200
@@ -13,6 +13,7 @@
 	wp_die( __( 'Sorry, you are not allowed to manage options for this site.' ) );
 }
 
+// Used in the HTML title tag.
 $title       = __( 'Writing Settings' );
 $parent_file = 'options-general.php';