PowerToys has been a mainstay of my Windows PC for years, but it's just become even more useful, while also getting lighter.
Gboard is a brilliant keyboard, but only after you tweak these settings.