Our documentation site grew one new doc sphinx instance, the user documentation (with only the faq for now).
We need to allow deploying it through our jenkins instance.
This should support multiple instances as another one would eventually happen (the sysadm doc).
Last tryout was a failure as the main documentation got squashed.