Comment by 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.