#[tantek]sknebel, aaronpk, can you add that to https://indieweb.org/mediawiki-customization ? Currently there is no mention of "IndieAuth" on that page so no way for someone to figure out how to implement IndieAuth sign-in on their MediaWiki in the same way we do