src/i18n/converse.pot changes after make dist making git archive dirty

[paulmenzel]

I build converse.js from inside the git archive. Lately, after make dist I am unable to fetch and rebase right away, because src/i18n/converse.pot was changed. git checkout src/i18n/converse.pot fixes this.

diff --git a/src/i18n/converse.pot b/src/i18n/converse.pot
index fb2a594a5..54d6df31e 100644
--- a/src/i18n/converse.pot
+++ b/src/i18n/converse.pot
@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: Converse.js 10.1.5\n"
 "Report-Msgid-Bugs-To: \n"
-"POT-Creation-Date: 2024-12-05 09:03+0200\n"
+"POT-Creation-Date: 2025-01-27 10:20+0100\n"
 "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
 "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
 "Language-Team: LANGUAGE <[email protected]>\n"
@@ -17,739 +17,714 @@ msgstr ""
 "Content-Type: text/plain; charset=UTF-8\n"
 "Content-Transfer-Encoding: 8bit\n"
 
-#: dist/converse-no-dependencies.js:20585
-#: dist/converse-no-dependencies.js:20639
+#: dist/converse-no-dependencies.js:15150
+#: dist/converse-no-dependencies.js:15204
 msgid "An error occurred while connecting to the chat server."
 msgstr ""
[…]

Should the file be under version control, and, if so, is there a way to keep the archive clean?