docs(tactic/move_add): fix doc-strings and links (#17684)
The main difference is to link the tactic doc for `move_mul` to the doc-string for `move_mul` instead of the one for `move_add`.
Besides this, I made some changes to improve legibility of the documentation.
