Hey devs, the the_time function is not a secondary option

I’m bored to always change manually at each theme update the “the_time” function below, above, articles which gives a US format mounth day, year :

<?php the_time('l, F jS, Y') ?>
<?php the_time('F jS, Y') ?>

This is never modified by admin settings. It’s harcoded in theme_folder/archive.php, index.php, search.php, single.php and posts.php and… and… and…

So could you please change your lazy habits, after so many years of copy/pasting the intial theme files into your incredible plugins, to introduce finally this little modification for an also incredible translation: