The link on top of the Documentation section, that is supposed to link to the Redox book gives a 404.
It works now (https://doc.redox-os.org/book/)