vieled-seraph [1] filed a deletion request for tinykvm-git [2]: The creator of tinykvm suggests that its name should be something else and I totally agree. Currently discussing what its name should be.
[1] https://aur.archlinux.org/account/vieled-seraph/ [2] https://aur.archlinux.org/pkgbase/tinykvm-git/
