Glitches in exporting a clipping plane viewport?

I have tried to export a clipping plane view of a model in Arctic mode.

No matter which export method I use (ViewCaptureToFile or SaveAs or Print), the result is as follows:

If you zoom in, you can see that the cut lines are not aligned with the cut geometry.

I am wondering if anyone encountered the same problem when cutting a geometry with ClippingPlane and exporting it. It appears that the cut lines and the cut geometries are both cut at different points, which is weird as I only have 1 clipping plane turned on. Is there perhaps a ‘clipping plane offset’ that I don’t know about, that cuts the geometry and lines in two different places?

Have you tried this in the V7 WIP?
Steve has been making some changes.