Commits on Jan 27, 2024

1. Followup to rust-lang#1862 …

   First, I'm sorry, I realize a sentence was not correctly ended in rust-lang#1862.
   
   Then, after re-reading UI documentation, I hope to slightly improve the
   documentation once again (at least, assuming that this time I totally understood
   how it works).

   

   Arthur-Milchior committed Jan 27, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 929d224
   • Browse repository at this point

   Copy the full SHA

   929d224 View commit details

   Browse the repository at this point in the history