[hephaestus] Downgrade docsplit