Rubiks Cube doesn't build for me (Lean4 dev novice here)

[enjoysmath]

PS C:\Users\fruit\OneDrive\Desktop\Lean4Widgets> cd C:\Users\fruit\OneDrive\Desktop\Lean4Widgets\lean4-samples\RubiksCube
PS C:\Users\fruit\OneDrive\Desktop\Lean4Widgets\lean4-samples\RubiksCube> dir


    Directory: C:\Users\fruit\OneDrive\Desktop\Lean4Widgets\lean4-samples\RubiksCube


Mode                 LastWriteTime         Length Name
----                 -------------         ------ ----
d-----          9/3/2022  11:58 AM                images
d-----          9/3/2022  11:58 AM                widget
-a----          9/3/2022  11:58 AM             51 .gitignore
-a----          9/3/2022  11:58 AM           1353 lakefile.lean
-a----          9/3/2022  11:58 AM             26 lean-toolchain
-a----          9/3/2022  11:58 AM            821 README.md
-a----          9/3/2022  11:58 AM            431 Rubiks.lean


PS C:\Users\fruit\OneDrive\Desktop\Lean4Widgets\lean4-samples\RubiksCube> lake build rubiksJs
error: .\lakefile.lean:7:44: error: function expected at
  "npm"
term has type
  String
error: .\lakefile.lean:9:19: error: expected command
error: .\lakefile.lean:20:50: error: invalid binder annotation, type is not a class instance
  ?m.128
use the command `set_option checkBinderAnnotations false` to disable the check
error: .\lakefile.lean:37:0: error: expected command
error: package configuration `.\lakefile.lean` has errors
PS C:\Users\fruit\OneDrive\Desktop\Lean4Widgets\lean4-samples\RubiksCube> 

I have Node.js installed and npm is in a bin directory that's on my Path env var.

[LesletPenroseLetters]

I must speak up. Because this thing also bothered me for the past 10 hours. I think Lake is inside Lean. I'm not sure if I can change the Lake's version independently from Lean's, but I think when the Lean version is changed, so is the Lake (maybe).

https://leanprover-community.github.io/archive/stream/270676-lean4/topic/doc-gen4.20broken.html
leanprover/lake@cb3b30b

The Lake file got updated around March.

One of the update is the removal of [Fact (pkg.name = pkgName)] to [PackageName pkg pkgName]

Not exactly sure how to write the code in terms of the Lake syntax after March (after this edit), but when I use the Lake connected to the Lean of version nightly-2022-09-01 (so, that's leanprover/lean4:nightly-2022-09-01 in the lean toolchain for Rubiks Cube), the above errors disappear. Might be because in that Lean's version of Lake, "Fact" is a valid class instance or something or a valid command or something (not very sure about this to be honest).

A new error comes up after I change the above, @[default_target] is not recognized. Not sure about its purpose, after I deleted that, and wrote "lake build" in the terminal, I could then see a rubik's cube painted on a screen that I can rotate etc.