Apparently Sphinx doesn't like that we use the same name multiple times,
though the link pointed to different URLs.
https://github.com/sphinx-doc/sphinx/issues/3921#issuecomment-315581557
suggests using `__` for "anonymous references".
This will remove some of the github action comments that show for every
PR.
Signed-off-by: Christoph Wurst <christoph@winzerhof-wurst.at>
This moves lots of pages around. The high-level changes are
* Better main sections, so it's more *general*, *into*, *basics* and *details*
* Move more general topics to a *Basic* section, which are not
app-specific
* Remove app docs to the stuff that is likely used, anything else goes
into "Digging deeper"
* Move general guides into a prologue
* Try to *compress*/combine some pages with similar content
* Try to have better consistencs on level ob abstraction across pages
* Split app development and maintenance pages into two sections
* Integrate bugtracker info into prologue
* Integrate Android pages into client APIs section
Signed-off-by: Christoph Wurst <christoph@winzerhof-wurst.at>
