On Wed, Oct 17, 2018 at 10:33:38AM +0200, Kamil Paral wrote:
> They even link here:
> https://developer.fedoraproject.org/tools/vagrant/vagrant-virtualbox.html
> which clearly states "sudo dnf install vagrant".
> So I think the author was just lazy trying out the command.

I don't think that's the case. This is a pretty consistently Fedora-friendly
author, and it's not super-clear if you're not deep into how things work
that instructions on that page give you software actually from the Fedora
Project.