Files: /base/tdx-guest.html