Use the url package, since coqdoc generates \url commands.
Fix some typos.
Make sure that Logic/ExtensionalityFacts gets compiled.