cosmetics; remove publicationlist
Merge commit 'github/testing' into beta