Labels Milestones
Back.6mm -- this is good practice, but ho-dang what a mess.
- -0.758295 -0.595618 0.265006 facet normal 0.877362 -0.466839 0.110891.
- 5.45272 6.97207 vertex -0.422769 -7.15425.
- afea9d5a2cf23e2a33a2927086270d4d602f5a2b Final revision; added custom DRC as.