link to issues in user doc

user_doc/src/index.md

@@ -5,6 +5,8 @@ Michelson is the stack-based language used by the [tezos blockchain][tezos]. Tec
 source and [hosted on github], where you can find the build instructions. If you just want to
 retrieve a binary, head over to [releases].
 
+If you have problems or suggestions, help us make Techelson better by [opening an issue].
+
 Techelson emulates just enough of the tezos blockchain protocol to be able to create smart
 contracts and make transfers between contracts. Currently, techelson only aims at testing
 functional properties of smart contracts. In particular, it does not provide any information about
@@ -36,6 +38,7 @@ All examples in this book are available in the [`rsc` directory of the github re
 
 [Techelson]: https://ocamlpro.github.io/techelson (Techelson's homepage)
 [releases]: https://github.com/OCamlPro/techelson/releases (Techelson's release page)
+[opening an issue]: https://github.com/OCamlPro/techelson/issues (Techelson's issue tracker)
 [Michelson smart contracts]: https://tezos.gitlab.io/master/whitedoc/michelson.html (Michelson documentation page)
 [tezos]: https://tezos.com (Tezos official page)
 [Liquidity]: http://www.liquidity-lang.org (Liquidity official page)