Wed, 28 Jun 2023 22:10:26 +0000 StringIDs: add header for 2nd section
Wuzzy [Wed, 28 Jun 2023 22:10:26 +0000] rev 2259
StringIDs: add header for 2nd section
Wed, 28 Jun 2023 22:10:10 +0000 StringIDs: Add newline after summary
Wuzzy [Wed, 28 Jun 2023 22:10:10 +0000] rev 2258
StringIDs: Add newline after summary
(0) -1000 -300 -100 -30 -10 -2 +2 +10 tip