If I want to export a cross section of an STL as a DXF, I usually just import into Tinkercad. You can orient the model and then sink into the workplane. Export as DXF and the cross section at the workplane level is exported as a DXF. I’ve had a couple of instances where there were some artifacts to clean up afterwards, but it is quick and effective the vast majority of the time.