Migrate away from deprecated apt-key(8): Vagrant box
We use apt-key(8)
in ways that are deprecated and were supposed to stop working in Debian 12 (Bookworm). In practice, it still works fine on Bookworm, but displays a deprecation message.
WIP: !752