Merge "mediawiki.inspect: Fix doc index for inspect.grep()"