Right, but is that up-to-date? The parent to my reply states that "more recent, and much more in-depth official installation manual" exists, but without Docker. Does it means Docker will no longer be officially supported?
The new docs site is definitely a WIP, every upgrade guide still has notes for how to upgrade both with and without Docker.