Also, the update for 10.0.1 is out now -- there are some bugs in 10.0.0, especially related to plugin management, that were pretty annoying.
(They're turning off the SWIG API in KiCad 11 so I've been trying to get plugins working using their new IPC model - but the IPC plugins don't show up in...