[INSTALL] Elaborate on localhost installation

bin/configure

@@ -140,7 +140,7 @@ fi
 # -------------------------------- PHP -------------------------------------
 if echo "${DOCKER}" | grep -Fq '"php"'; then
     ${WHIPTAIL} --title "Build PHP container locally?" --clear --backtitle 'GNU social' \
-                --yesno "\nDo you want to use a compile the needed PHP extensions and build the container locally? (may provide better performance, needs more than 1GiB of RAM)" 0 0 \
+                --yesno "\nDo you want to compile the needed PHP extensions and build the container locally? (May provide better performance but requires more than 1GiB of RAM)" 0 0 \
                 3>&1 1>&2 2>&3
     BUILD_PHP=$((1-$?)) # Invert output
 fi

docs/src/install/docker_shell.md

@@ -2,11 +2,11 @@
 
 ## Installation with Docker
 
-This installation method required
+This installation method requires
 [Docker](https://docs.docker.com/engine/install/) and [Docker
 Compose](https://docs.docker.com/compose/install/). Use
 `bin/configure` and pick `docker`, which enables all needed services
-as containers, or `mixed` which let's you pick which services you'd
+as containers, or `mixed` which lets you pick which services you'd
 like to create containers for. This way you can use services in the
 host machine, which may be useful if your host already has a
 webserver, for instance.
@@ -15,6 +15,9 @@ If you elect to not use some service containers, check [Instal without
 Docker with shell access](./install/no_docker_shell.md) for details on
 the configuration of each service.
 
+Please remember that for the installation `configure` script to use docker,
+it is necessary that the executing user is in the docker group.
+
 ## Prerequisites
 
 In order to host your GNU social instance, you'll need a domain:
@@ -24,11 +27,14 @@ In order to host your GNU social instance, you'll need a domain:
 
 If you don't have a fixed public IP, for local hosting or development,
 or if you're behind a NAT, use a dynamic DNS solutions. Search for
-`GnuDIP host` or `dynamic dns`. To use GnuDIP, clone
-[](https://notabug.org/someonewithpc/gnudip.git), then inspect and run
+`GnuDIP host` or `dynamic dns`. To use GnuDIP, [clone](https://notabug.org/someonewithpc/gnudip.git), then inspect and run
 the `./install.sh` script. This allows you to have a domain that
 dynamically points to your IP address.
 
+If you want to install locally for development or experimenting purposes,
+you can use `localhost` as the `root domain` while configuring the installation.
+If you then specify a subdomain, don't forget to add it in the `/etc/hosts` file.
+
 {{#include dns.md}}
 
 {{#include tls.md}}