Patches for various improvements to KiCad