DevStream: Finishing the tombstones