Update docs/user/manual.adoc
Update docs/user/manual.adoc

Co-authored-by: bjorn3 <de4e812b534fa9cc35c77a0c909d6ebb8ac118a3@users.noreply.github.com>
rust-analyzer/rust-analyzer,rust-analyzer/rust-analyzer,rust-analyzer/rust-analyzer,rust-analyzer/rust-analyzer,rust-analyzer/rust-analyzer