pagerizer.js: restore stringList normalization (i.e. duplicate removal)