[joeblau]

One of the tags says "vector" so they may be able to produce higher resolution files. That said, I think the @2x should be in there if people want to use these for mobile.

[visualidiot]

They are @2x up until 32px.