Thomas, In reviewing old email for notes on updates for the manual, I found one about the GPG key, which according to that message, will expire Jan 3, 2015. How far ahead do you need to generate a new one and add it to the source? Jack