Where to propose corrections to the FStar book?

[mat888]

I am reading through the book and noticing typos. Is there a systematic way or even a contact I can send corrections to?

[mtzguido]

The sources for the book are in https://github.com/FStarLang/PoP-in-FStar. A PR or issue there would be most welcome!