I noticed version 1.2.0 of gpg did not come with the DETAILS file in the documentation area. Was this intentionally left out? I thought it was pretty useful.