[14:08:28] <Acamicamacaraca>	 Hi! Sr.wiki community wants to remove the button to add <br> tags from the toolbar of source editor. Is it technically feasible?
[14:09:16] <Acamicamacaraca>	 I mean, can this somehow be done at the local level?
[14:11:54] <Acamicamacaraca>	 We do not want this button in the top bar, but in the bottom panel because newcomers often think that is how the new line is added and they spam that tag in the articles.
[14:17:23] <Acamicamacaraca>	 Anyone?
[14:30:29] <wesc>	 hi! I'm using the event streams API detailed here https://wikitech.wikimedia.org/wiki/Event_Platform/EventStreams and believe there's a bug on Wikimedia's side handling subscriptions... would someone be able to point me to the appropriate IRC channel (or whatever else) to talk to someone about it?
[17:22:18] <N3X15>	 Anyone else getting their wikis absolutely slammed by MJ12Bot and Semrushbot?
[17:22:38] <N3X15>	 They don't seem to be obeying robots.txt, either.
[17:23:24] <Reedy>	 robots.txt is basically just an honor code
[17:27:49] <N3X15>	 Their sites both indicate they should be.
[17:28:26] <Reedy>	 I would suggest contacting the authors/maintainers directly
[19:25:28] <harmaahylje>	 N3X15: My experience with those (not related to mediawiki) is that they hoard it all
[19:26:09] <harmaahylje>	 constantly digging through unchanged static content with hundred connections at a time
[19:35:34] <N3X15>	 Yeah, I've ended up just blocking them at the HTTP daemon.  They still try to access everything despite 403s, though.
[19:51:14] <harmaahylje>	 It's in their nature