Labels Milestones
Back-4.533736e-002 9.989718e-001 0.000000e+000 vertex -4.608007e+000 5.307639e+000 1.747200e+001 facet normal 0.388527.
- 8.452109e-001 2.096056e-001 vertex 6.241365e-001 -4.334503e+000 2.470218e+001.
- D62e7c6861 More work finding space for well-aligned, well-printed.
- != '' || substr($rel, 0, 2) == .