Yanking a dead node

[Maxim Potekhin]

This was discussed a long time ago, but I need to know what's the state 
of the art answer to that:
assume one of my few nodes is very dead. I have no resources or time to 
fix it. Data is replicated
so the data is still available in the cluster. How do I completely 
remove the dead node without having
to rebuild it, repair, drain and decommission?

TIA
Maxim