Comment 8 for bug 1871685

Using vagrant from this PPA containing the proposed changes the issue is fixed:

https://launchpad.net/~lucaskanashiro/+archive/ubuntu/focal-vagrant-sru/+packages

Reproducing the described test case:

$ apt install vagrant
$ vagrant
Usage: vagrant [options] <command> [<args>]

    -v, --version Print the version and exit.
    -h, --help Print this help.

Common commands:
     box manages boxes: installation, removal, etc.
     cloud manages everything related to Vagrant Cloud
     destroy stops and deletes all traces of the vagrant machine
     global-status outputs status Vagrant environments for this user
     halt stops the vagrant machine
     help shows the help for a subcommand
     init initializes a new Vagrant environment by creating a Vagrantfile
     login
     package packages a running vagrant environment into a box
     plugin manages plugins: install, uninstall, update, etc.
     port displays information about guest port mappings
     powershell connects to machine via powershell remoting
     provision provisions the vagrant machine
     push deploys code in this environment to a configured destination
     rdp connects to machine via RDP
     reload restarts vagrant machine, loads new Vagrantfile configuration
     resume resume a suspended vagrant machine
     snapshot manages snapshots: saving, restoring, etc.
     ssh connects to machine via SSH
     ssh-config outputs OpenSSH valid configuration to connect to the machine
     status outputs status of the vagrant machine
     suspend suspends the machine
     up starts and provisions the vagrant environment
     upload upload to machine via communicator
     validate validates the Vagrantfile
     version prints current and latest Vagrant version
     winrm executes commands on a machine via WinRM
     winrm-config outputs WinRM configuration to connect to the machine

For help on any individual command run `vagrant COMMAND -h`

Additional subcommands are available, but are either more advanced
or not commonly used. To see all subcommands, run the command
`vagrant list-commands`.

$ vagrant init
A `Vagrantfile` has been placed in this directory. You are now
ready to `vagrant up` your first virtual environment! Please read
the comments in the Vagrantfile as well as documentation on
`vagrantup.com` for more information on using Vagrant.