Eli Zaretskii writes: >> From: Jeremy Bryant >> Cc: 77142@debbugs.gnu.org, pipcet@protonmail.com, >> gerd.moellmann@gmail.com, eller.helmut@gmail.com >> Date: Tue, 08 Apr 2025 19:30:22 +0100 >> >> (defun igc-display-b () >> + "Display IGC stats snapshot A from igc--roots." > ^^^ > Copy/pasta. Indeed, sorry. Trivial mistake corrected. > >> +(defvar igc-stats-time-format "%T.%3N" >> + "Time format when exporting IGC stats, e.g. to csv or sqlite.") > > I think "Time format for exporting..." is better. OK - Style noted. > > Thanks.