/extract-group-names-from-symbols.sh/1.1.1.1/Mon Oct 17 07:37:08 2022//Tnetbsd-10
/pull_translations.sh/1.1.1.1/Mon Oct 17 07:37:08 2022//Tnetbsd-10
/symbols-tree.py/1.1.1.1/Mon Oct 17 07:37:08 2022//Tnetbsd-10
D
