Worker Dart Shortener (and other cutter) by Mrheathpants
Published on June 13, 2019
www.thingiverse.com/thing:3689115
Creative Commons - Attribution