Update infra `ircbot` documentation

[kmartens27]

Describe your use-case which is not covered by existing documentation.

The ircbot is no longer in use as Jenkins has moved over to Matrix Elements. That means the documentation found on the IRC Bot page must be updated to not provide deprecated information.

This would also ensure that jenkins-infra/helpdesk#4645 is complete and closed. However, it is not entirely clear what updates need to happen on the jenkins.io page, as there may be a Matrix Elements replacement that is not currently documented.

Reference any relevant documentation, other materials or issues/pull requests that can be used for inspiration.

jenkins-infra/helpdesk#4645 - original Jenkins-infra help desk issue

https://www.jenkins.io/projects/infrastructure/ircbot/#irc-bot - page needing update

Are you interested in contributing a fix?

Yes

[welcome]

Thanks for opening your first issue for jenkins.io! We appreciate you taking the time to report this issue.

[kmartens27]

@timja would removing the IRC bot documentation entirely be the correct way to update the page, or is there something else already existing that would need to be included in its place? If it's a simple removal, that can be done fairly quickly, but if there's something else in use I want to be sure that everything is documented for users.

[timja]

just remove it