Clarify that this repo contains docs for developers

docs/index.md

@@ -1,8 +1,7 @@
-# Welcome to NewPipe
+# Welcome to the NewPipe Development Docs
 
 <img width=150 src="https://raw.githubusercontent.com/TeamNewPipe/NewPipe/dev/assets/new_pipe_icon_5.png"/>
 
-
 This site is/should be a beginner friendly tutorial and documentation for people who want to use or write services for the [NewPipe Extractor](https://github.com/TeamNewPipe/NewPipeExtractor). However, it also contains several notes about how to maintain NewPipe.
 It is an addition to our auto generated [Jdoc documentation](https://teamnewpipe.github.io/NewPipeExtractor/javadoc/).
 

mkdocs.yml

@@ -1,4 +1,5 @@
-site_name: NewPipe Documentation
+site_name: NewPipe Development Documentation
+
 theme:
     name: readthedocs
     custom_dir: theme