Deprecate the direct HPGL-to-STL stuff.