Now that we have a procedure for each operating system and no procedure
anymore in the generic header ("Verify using OpenPGP"), I feel the need
to duplicate this step at the beginning of each procedure.