Fix the formatting of the contributor list.

And mention Integra.