Document batch verification on docs.rs and fix false autolinking.

Cargo.toml

@@ -16,6 +16,11 @@ exclude = [ ".gitignore", "TESTVECTORS", "res/*" ]
 [badges]
 travis-ci = { repository = "dalek-cryptography/ed25519-dalek", branch = "master"}
 
+[package.metadata.docs.rs]
+# Disabled for now since this is borked; tracking https://github.com/rust-lang/docs.rs/issues/302
+# rustdoc-args = ["--html-in-header", ".cargo/registry/src/github.com-1ecc6299db9ec823/curve25519-dalek-0.13.2/rustdoc-include-katex-header.html"]
+features = ["nightly", "batch"]
+
 [dependencies]
 clear_on_drop = { version = "0.2" }
 curve25519-dalek = { version = "1", default-features = false }

src/ed25519.rs

@@ -475,8 +475,8 @@ impl Keypair {
     /// §5.1.7, for small torsion components in the `R` value of the signature,
     /// *which is not strictly required*, as they state:
     ///
-    /// > Check the group equation [8][S]B = [8]R + [8][k]A'.  It's
-    /// > sufficient, but not required, to instead check [S]B = R + [k]A'.
+    /// > Check the group equation \[8\]\[S\]B = \[8\]R + \[8\]\[k\]A'.  It's
+    /// > sufficient, but not required, to instead check \[S\]B = R + \[k\]A'.
     ///
     /// # History of Malleability Checks
     ///

src/public.rs

@@ -274,8 +274,8 @@ impl PublicKey {
     /// §5.1.7, for small torsion components in the `R` value of the signature,
     /// *which is not strictly required*, as they state:
     ///
-    /// > Check the group equation [8][S]B = [8]R + [8][k]A'.  It's
-    /// > sufficient, but not required, to instead check [S]B = R + [k]A'.
+    /// > Check the group equation \[8\]\[S\]B = \[8\]R + \[8\]\[k\]A'.  It's
+    /// > sufficient, but not required, to instead check \[S\]B = R + \[k\]A'.
     ///
     /// # History of Malleability Checks
     ///