Pruned manifest file for #10.