doc fixes

Author: Peter Kosyh

INSTALL.md

@@ -74,3 +74,13 @@ Use binary releases or install mingw and try:
 ```
 $ ./make-win.sh
 ```
+
+# Android
+
+Use binary releases or F-Droid or try build yourself:
+
+```
+$ cd contrib/android
+$ ./gradlew downloadDependencies
+$ ./gradlew installDebug
+```

MANIFEST.md

@@ -65,7 +65,7 @@ RE:INSTEAD это бескомпромиссный перекос в сторо
 ## Чем отличается от INSTEAD-CLI?
 
 [instead-cli](https://github.com/instead-hub/instead-cli)
-позиционируется как инструмент для разработчика, а REINSTEAD -- как
+позиционируется как инструмент для разработчика, а RE:INSTEAD -- как
 интерпретатор для того, чтобы играть в игры. RE:INSTEAD --
 графическое приложение. Также, его удобно использовать для
 распространения сборников игр, созданных в духе минимализма и