Extensions for SharkCAD