Get highlighting back for mediawiki query syntax.

Also remove some TODOs that we either won't do or might not do and so
belong on the project wiki page.

Change-Id: I3dd8d32efd1440cf3b3909442ec721e5eacb73b5