As indicated by Google Analytics, in almost a year (since December 2016) the arText system has exceeded 5,000 users. Thanks to all of them for their support and suggestions for improvement!