Bugs in Qubes Manager GUI & UX