Good question. The files have a .stl extension. Clicking on them gets some message about certificate error.
a few listed in the 4.2 mega pack are .dwg files, standard autocad.