A MediaWiki extension for unsubscribing from emails