Link to "Getting Started" on the home page of the redox book is a broken link
Clicking the "Getting Started" link on this page: https://doc.redox-os.org/book/ gives me a 404 error.
Looking at it a little more, it looks like the "Getting Started" link should go to
"https://doc.redox-os.org/book/getting_started/getting_started.html"
rather than just
"https://doc.redox-os.org/getting_started/getting_started.html"