1. Update Brave's sync codes.

Seems that for an HP EliteBook, a custom boot is required:

1. Determine your where your boot loader is. It is probably \EFI\ubuntu\grubx64.efi, but you can check:
   1. Reboot into BIOS.
   2. Select 'F9 Boot Device Options' → 'Boot from EFI File' → 'Select File System'.
   3. There will be something like “,Acpi(PNP0A03,0/PCi(1F|2)/Sata(Port 0)…..”.
   4. Select 'EFI' → 'ubuntu'.
   5. The boot loaders will be display as '.efi. files. You want the 'grub' one.
   6. Write down the whole path. Should be something like \EFI\ubuntu\grubx64.efi.
2. Create the custom boot.
   1. Select 'BIOS Setup (F10)' → 'Advanced Settings' → 'Boot Options'.
   2. Select 'Custom boot', tick 'Add boot', fill in \EFI\ubuntu\grubx64.efi.
3. Set boot order:
   1. USB Hard Drive
   2. Custom Boot

• Set system font.
  • Download the Inter font.
  • Extract and copy the *.ttf files to /home/stephen/.local/share/fonts (may need to create the directory).
  • System Settings > Font Selection.
    • Default font: Inter Regular 10
    • Desktop font: Inter Regular 10
    • Window title font: Inter Medium 10

• Brave
• VLC

• Beyond All Reason
• 0 A.D
• The Battle for Wesnoth