We definitely need to update the workshop materials, but since free gitpod is gone it will need more than just a quick polish!