Arlington: Update automatic module names for arlington#347

MaximPlusov merged 1 commit intoarlingtonveraPDF/veraPDF-model:arlingtonfrom

arlington-automatic-module-namesveraPDF/veraPDF-model:arlington-automatic-module-namesCopy head branch name to clipboard