Some chapters in the manual have become empty

Stream: lean4

[Tage Johansson]

Dear all,

I've noticed that some chapters in the Lean 4 manual, which were previously full of text, has now become empty. For example The chapter on monad transformers. However the source file transformers.lean in the repo is indeed full of useful content.
I have tried to build the documentation from source with the same results.

Does anyone know why this is the case? Is it something strange with the build process or was the content so bad that it was better being removed?

[Sebastian Ullrich]

Thanks for the report, should be fixed now