There have been some subtle issues with diff files, and I guess we’ll have to wait for the next full planet to import to see if that indeed was the cause here as well.