DBMM was ordered revoked. It is in the history books. It is part of DBMM's recorded history.
If not for the Lucia ruling and subsequent reset of the ALJ's as presidential appointee's? The revocation would have taken place and DBMM would have been nothing but a bad memory (instead of the nightmare it currently is).