Update name of plugin ("filter_wikiversity" -> "filter_mediawiki")