Key legal question
Whether the public-law appeal should be removed from the docket after withdrawal.
Extracted holding
Yes. The case had to be struck from the docket because the appeal was withdrawn.
Extracted reasoning
Upon withdrawal of the appeal, the proceedings are terminated and the case is removed from the docket under the applicable Federal Supreme Court provisions.