Fix SearchAbout bug (issue #10).
Merge branch 'univpoly' of ../../coq/git into trunk