Hey, this project is not dead by the way. Check out the WIP shot from the editor.
I've been doing rendering tasks in Blender so I didn't have any room for game development. So far, I have made liberal use of the new optional GDscript typing (all variables) and implements better use of exports for the selection UI by the elevator (meaning more varied text colors and easier development for me).
However, a version with this level will not be uploaded this week or next week due to being away from my PC. I can tell you that nothing within Godot itself has seriously hindered progress.