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

Co-authored-by: Laurențiu Nicola <89aea4f235fcfad28c7d4fd64f485d9672fc8c33@users.noreply.github.com>
rust-analyzer/rust-analyzer,rust-analyzer/rust-analyzer,rust-analyzer/rust-analyzer,rust-analyzer/rust-analyzer,rust-analyzer/rust-analyzer