From f330d5cececfa815ee1e5417a6acfb5cbc2b5761 Mon Sep 17 00:00:00 2001
From: Andrea Cardaci <cyrus.and@gmail.com>
Date: Tue, 3 Oct 2023 13:23:05 +0200
Subject: [PATCH] Polish README

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index d748e93e..4d78a8b8 100644
--- a/README.md
+++ b/README.md
@@ -16,6 +16,8 @@ It consists of:
 
 Install the PHP extension, either by using the [deploy script](#deploy-script) or [manually](#manual-setup), then install the listener application [locally](#installation).
 
+Otherwise for a quick test, jump straight to the [demo](#demo).
+
 ## Demo
 
 1. Install the [listener application](#installation).
@@ -26,7 +28,7 @@ Install the PHP extension, either by using the [deploy script](#deploy-script) o
     docker run -d -p 80:80 -v "$PWD/demo/:/var/www/html/" --name hello-fracker php:8.2-apache
     ```
 
-3. Test that the demo PHP application works:
+3. Check that the demo PHP application works:
 
     ```console
     curl http://localhost/?expression=7*7