docsplit doesn't live here any more!