[PATCH v4 0/7] remote-mediawiki: namespace support

[Antoine Beaupré]

Hopefully, the final series. This includes only one more fix, from
Thomas, to remove an extra loop.

This should, alas, be ready to merge.