New MediaWiki extension: Semantic Watchlist