/extract-group-names-from-symbols.sh/1.1.1.1/Mon Oct 17 07:37:08 2022//Tnetbsd-11
/publish.sh/1.1.1.1/Thu Mar 23 06:22:10 2023//Tnetbsd-11
/pull_translations.sh/1.1.1.1/Mon Oct 17 07:37:08 2022//Tnetbsd-11
/symbols-tree.py/1.1.1.1/Mon Oct 17 07:37:08 2022//Tnetbsd-11
D