Core Plugin reversal procedure

Interesting question. In my time of using discourse. I don’t recall any plugins that waa merged with core being removed from core at a later date

However imagine similar to announcement of them being merged; there would be one to announce it being removed and how to re add it if needed.