Use terser pluck() now that map() is faster.