PAUSE users who ++ed HTML-Summary