Revert "[hephaestus] Downgrade docsplit"

This reverts commit acf248a1e366e1d3266e173ca6d36662a4137f4f.