Whether the appeal should be removed from the docket after withdrawal.
Yes. The case was struck from the roll because the appeal had been withdrawn.
The respondent issued a new decision granting the appellant's conclusions in full, ending the dispute; the appellant then formally withdrew the appeal.