EDEser DENIZ@SRWieZยท3ddc61287Make the files open source so people with a 3D printer can print them themselves! ๐10:38 ยท Oct 26, 2026 ยท commit dc61287QuoteReplyHide repliesJBJulien Bianchi@jubianchiยท3dThere's a PR already ;)1TranslateReply