the redesign seems to have impacted the PLT Redex site at: https://redex.racket-lang.org/ https://redex.racket-lang.org/ I am trying to read the model part of

the redesign seems to have impacted the PLT Redex site at: https://redex.racket-lang.org/ https://redex.racket-lang.org/ I am trying to read the model part of the set of scopes paper and running it in PLT Redex, but it seems to be unavailable currently.