2023-06-29: deprecated. This page used to contain a retrospective for play.teod.eu, this site.
I don’t want to have separate “retrospective pages”. I prefer to have discussion on the page itself. Therefore, I moved the discussion to the “entity”/“reference”-page for play.teod.eu: play.teod.eu.