doc(add_tactic_doc): slight improvement to docs (#2365)
* doc(add_tactic_doc): slight improvement to docs
* Update docs/contribute/doc.md
Co-Authored-By: Yury G. Kudryashov <urkud@urkud.name>
* sentence
* update add_tactic_doc doc entry
Co-authored-by: Scott Morrison <scott.morrison@anu.edu.au>
Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>
Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
