ng0 <ng0@libertad.pw> writes:

> Thanks Kei for catching this mistake. I tried to solve it with a
> directory-excursion, but ended up using chdir and removed the
> dedicated phase to delete the empty dir, as deleting the directory to
> me is a closure/finishing touch to the split phase.
> Any objections, further comments or can this be added now?

LGTM. Pushed as 7d2511bc6b467c056e7e0bcb0760f7b9652ba083.