Merge pull request #1234 from jmaas/master

Update release-notes with gpgcheck/enabled improvements.
Merge pull request #1235 from jmaas/master

Minor updates to the developer-guide.
Merge pull request #1236 from jmaas/master

Typo in developer-guide.