Wait for Petra to update their coverage, and around 2-4 weeks later, there'll be a CR .... nobody is more practiced at polishing turds.
