The manual that you are currently reading, has been made with the help of GitBook.
The GitBook Editor app, unfortunately did not behave quite well at the time of writing. Therefore we recommend that you use a decent Markdown Editor or IDE instead.
Install the GitBook CLI and preview the results of your edits with gitbook serve.