K 10
svn:author
V 3
bcr
K 8
svn:date
V 27
2013-01-30T19:01:33.853674Z
K 7
svn:log
V 154
Deactivate the build of the PGP Keys section from the appendix.
This will not be part of the print edition, but will still be
kept in the online version.

END
