Hi, I assume that there are good reasons why the current release is stalled (GHC update, Cabal update?, ..), but such reasons are not easily visible on the platform web pages. Nor can I see any message traffic on this list that would discuss or explain the issues related to this delay (since "early April").