Fix and polish README

README.md

@@ -12,9 +12,9 @@ It consists of:
 
 ![Screenshot](https://i.imgur.com/kcmq8PA.png)
 
-## Installation
+## Setup
 
-Install the PHP extension, either by using the [deploy script](#deploy-script) or [manually](#manual-setup). Then install the listener application [locally](#installation).
+Install the PHP extension, either by using the [deploy script](#deploy-script) or [manually](#manual-setup), then install the listener application [locally](#installation).
 
 ## Demo
 
@@ -127,7 +127,7 @@ Finally, install the PHP extension in the usual way, briefly:
 
 At this point the source repository is no more needed, you can run `make cleanall` to clean everything up.
 
-#### Settings
+### Settings
 
 The default INI settings should work just fine in most cases. The following serves as a template for some common ways to override the default values:
 
@@ -174,9 +174,7 @@ $ npm uninstall -g fracker
 
 Run `fracker --help` to obtain the full usage.
 
-Command line options in long format can be written in YAML files (camel case and without the leading `--`) and passed as command line arguments. Multiple files with increasing priority can be specified, but command line options will have the highest priority.
-
-For convenience some [configuration files](app/configs/) listing some classes of *interesting* PHP functions are provided along with this repo. Use them like:
+For convenience some [configuration files](app/configs/) listing some classes of *interesting* PHP functions are provided along with this repository. Use them like:
 
 ```console
 $ fracker ./app/configs/file-* # ...