PAUSE users who ++ed Syntax-Collector