Move the IRC Bot extension to the Attic and prevent its installation from the Extension Manager

[tmortagne]

+1

@vmassol

unless there’s now a better way to do this that I don’t know

Not yet. We need to conclude Strategy for Handling Deprecated Extensions on EXO which might provide it depending on the conclusion.