* Embed the Debian Policy version and build date in the debconf
specification and the copyright-format document. We'll make
non-normative changes without updating other version numbers, and it's
good to know which version one is looking at.
* Fix some whitespace issues in the debconf specification articleinfo.