[15:54:31] <Krinkle>	 duesen: random example of docs, e.g. https://doc.wikimedia.org/mediawiki-core/master/php/externalstorearch.html linking to $wgExternalStores which tells you what it is, how to use it (snippet for LocalSettings.php), and what its default is. This is something we do quite often, and something I think we should continue to encourage more of.