Document/check arch installation
Is the setup process described in
build_documentation_arch.md
sufficient? Can it be simplified?