MediaWiki extension BricksetSnippet, for getting a plaintext snippet of the article for a given search term from BrickSet