Hi Arthur, Without looking at it: Nice. Definitely worth doing. -- Moritz Bartl https://www.torservers.net/ -- tor-talk mailing list - tor-talk@xxxxxxxxxxxxxxxxxxxx To unsubscribe or change other settings go to https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-talk