[01:36:39] <legoktm>	 Volker_E: could you or someone else who was involved update https://www.mediawiki.org/wiki/MediaWiki_1.31#Further_UI_standardization with a quick blurb on the changes in 1.31 and benefits users will see?
[02:31:12] <Volker_E>	 legoktm: sure, deadline?
[02:31:50] <Volker_E>	 also, it should be HTML5
[02:31:57] <Volker_E>	 w/o whitespace
[03:27:01] <legoktm>	 Volker_E: soon-ish? end of the week would be nice
[03:43:51] <legoktm>	 https://sfconservancy.org/news/2018/apr/30/copyleft-conf/ "...conference focused entirely on copyleft licensing, strategy, enforcement, governance and best practices" the day after FOSDEM
[21:39:12] <bawolff>	 Hmm, I wonder if we should allow internet archive bot to index mailing list archives
[21:39:23] <mutante>	 why not?
[21:39:36] <bawolff>	 Its currently not allowed
[21:39:41] <mutante>	 ah
[21:39:57] <bawolff>	 It could be useful if the urls ever change (I think has happened in the past after an email gets deleted)
[21:40:12] <bawolff>	 personally I find the whole no indexing mailing list archives to be utterly stupid in general...
[21:40:23] <mutante>	 yes, it happens if archives are edited manually and then reindexed
[21:40:36] <mutante>	 links change 
[21:41:01] <mutante>	 i dont see how it could be controversial if at the same time we use external services to archive them 
[21:43:56] <bawolff>	 well i'll file a ticket and see if anyone objects