Files: /base/vga-switcheroo.html