“#ubuntu-bots IRC Operators” team