Arlington: Update automatic module names for arlington#719

MaximPlusov merged 1 commit intoarlingtonveraPDF/veraPDF-validation:arlingtonfrom

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