Re: [MediaWiki-Core] Library infrastructure project ideas