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.