naming: also allow jointly appointed non-professors
kludge for exatp group
Merge commit 'github/testing' into beta