The fedora-dino.repo was unfriendly towards Windows (#106) and I noticed
that the other renamed files contained Fedora, so I think they should be
named appropiately. microsoft-edge-dev.repo mentioned generally
yumrepos, so it seems to not be Fedora specific.
