Remove note that the Zvl*b extension names may change.

Fix a typo in mm-formal.adoc (riscv#1901)

Add missing v to beginning of extension name in vector-crypto.adoc