From 7220634071173e2c1bf14b237d079fbf025cef18 Mon Sep 17 00:00:00 2001
From: Lyudmila Vaseva <vaseva@mi.fu-berlin.de>
Date: Fri, 25 Jan 2019 10:19:54 +0100
Subject: [PATCH] Add a note on TOR

---
 article/proceedings.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/article/proceedings.tex b/article/proceedings.tex
index 8bb51eb..354b6ec 100644
--- a/article/proceedings.tex
+++ b/article/proceedings.tex
@@ -330,7 +330,7 @@ Distinction filters/Bots: what tasks are handled by bots and what by filters (an
 
 What happens when an editor triggers an edit filter?
 
-(Interesting side note: editing via TOR is disallowed: "Your IP has been recognised as a TOR exit node. We disallow this to prevent abuse" or similar, check again for wording)
+(Interesting side note: editing via TOR is disallowed: "Your IP has been recognised as a TOR exit node. We disallow this to prevent abuse" or similar, check again for wording. Compare: "Users of the Tor anonymity network will show the IP address of a Tor "exit node". Lists of known Tor exit nodes are available from the Tor Project's Tor Bulk Exit List exporting tool." \url{https://en.wikipedia.org/wiki/Wikipedia:Vandalism})
 
 If the filter is set to disallow, a specific template is shown to the editor: "An automated filter has identified this edit as potentially unconstructive, so it has been disallowed. If this edit is constructive, please report this error. Disruptive editing may result in a block from editing."
 "report this error" links to the FalsePositives page: \url{https://en.wikipedia.org/wiki/Wikipedia:Edit_filter/False_positives}
-- 
GitLab