Smooth zoom plug in missing?

[Box]

I’m not sure if Anton’s smooth zoom has ever been available from the extension warehouse. It is from sketchucation.