Die Lösung für dein Problem ist ganz einfach: Benutze nicht die Arduino Version aus dem Windows Store. Lade sie stattdessen Direkt von arduino.cc. Das hätte im übrigen auch in der #software FAQ gestanden.
Und noch etwas zu Punkt Nummer vier: Den Sketch nicht einfach „einfügen“. Lade das Zip von GitHub und öffne dann die .ino
Datei mit der Arduino IDE.