Did we ever figure out what was in the envelope passed out to the former presidents at George H. W. bush’s funeral?