[Bit-dev] FYI about vagrant: Hashicorp public gpg key must be updated (when using apt) - NO_PUBKEY AA16FCBCA621E701