The book point to Tags page for hard drive image but it can't be found there
The book (https://doc.redox-os.org/book/getting_started/try_vm.html) points to Tags page (https://gitlab.redox-os.org/redox-os/redox/tags) saying "you want to use the hard disk image, which you can find on the release pages".
But there's no hard disk image there, only ISO. Is the book outdated?