From 8d022a332a7d5b94c2b8d5e07a8f63f492383f55 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sun, 18 Aug 2019 14:24:24 +0100
Subject: [PATCH] Remark regarding annotation-reading modes

---
 TUTORIAL.org | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/TUTORIAL.org b/TUTORIAL.org
index f2719b9..f8ece1d 100644
--- a/TUTORIAL.org
+++ b/TUTORIAL.org
@@ -378,6 +378,8 @@ As said, annotations are not really data.
 They are merely meant for development tooling or debugging.
 You have to explicitly ask for them when reading, and they wrap all
 the values.
+Many implementations will, in the same mode, also supply line number
+and column information attached to each read value.
 
 So what's the point of them then?
 If annotations were just for comments, there would be indeed hardly