Unfortunately, default provider in Fedora is not virtualbox, so vagrant up does not work, vagrant up --provider=virtualbox is needed. An explanation in a text balloon would be welcome. :)
Thanks for the great course!
Related issue: hashicorp/vagrant#8905