Exported to STL to view in GitHub.