Oh! Thanks for the notice, @JKnight ! I would have missed it otherwise since I ignore the red dot.
And, even though I cleared it off yesterday with nothing new to read in there, here it is back again this morning, still with nothing new added to “How to use”.
