Finally traced down the source of docsplit conversion failures.