3 (title "Bonus World 1 levels")
4 (description "Levels from the Bonus World 1")
5 (levels "abednego-level1.stl" "abednego-level2.stl" "abednego-level3.stl"
6 "abednego-level4.stl" "bonus-level1.stl" "bonus-level2.stl"
7 "bonus-level3.stl" "bonus-level4.stl" "bonus-level5.stl"
8 "matr1x-level1.stl" "matr1x-level2.stl" "matr1x-level3.stl"
9 "thompson-level1.stl" "thompson-level2.stl" "torfi-level1.stl"
10 "torfi-level2.stl" "torfi-level3.stl" "wansti-level1.stl"
11 "wansti-level2.stl" "wansti-level3.stl" "wansti-level4.stl"
13 (hide-from-contribs #t)