I suggest to use the binary format for STL generation, or make it configurable
I suggest to use the binary format for STL generation, or make it configurable