Question: how to remove decommissioned domain controller?
Answer: Active Directory Users and Computers > Domain Controllers > select the dead server.
Right click and Delete.
Click Yes to confirm.